Ответ 1
У меня нет точных ответов, но у меня есть что-то такое! Я провел некоторое исследование (спасибо, Джейсон Ширк) и обнаружил, что System.ConsoleColor
является просто индексом в таблице цветов, который должен быть представлен этим
В документации упоминается, что DarkYellow
должен быть ochre" (RGB: 204, 119, 34).
| DarkYellow | The color dark yellow (ochre). |
Выберите "По умолчанию" в меню верхнего окна окна приложения, и вы увидите общие "Свойства Windows консоли" (например, выше), которые изменят окно типа ConsoleWindowClass
.
Выберите параметр "Экранный текст", и вы заметите, что он настроен на использование значения в месте DarkYellow
. Я не знаю, почему они не использовали Gray
или DarkGray
рядом с ним! Нажмите на 7-ое поле (индекс для DarkYellow
) и измените его на ocher значение RGB. Затем установите "Экранный текст" в Gray
или DarkGray
(если вы действительно не хотите, чтобы текст очерного текста был включен по умолчанию).
Все консоли командной строки, PowerShell и Git Bash (mingw) будут изменены (мои были).
У меня возникли небольшие проблемы с приглашением PowerShell из диалогового окна "Запуск". Он принял цвета, но не некоторые из моих других настроек (физический размер и размер буфера и т.д.). Я закончил использование scoop
для установки concfg
PS> scoop install concfg
PS> scoop install sudo
и экспортировал мои хорошие настройки консоли
PS> concfg export > ~\.consolerc
и импортировал их в мое ошибочное приглашение с предубеждением (вы можете использовать sudo
, также из совка или просто запустить приглашение администратора)
PS> sudo concfg import ~\.consolerc
И, фактически, concfg, казалось, экспортировал все, значения таблицы цветов и выбор! Здесь частичный дамп моей конфигурации (цветные части)
{
"popup_colors": "cyan,white",
"dark_gray": "#808080",
"screen_colors": "gray,dark_magenta",
"dark_green": "#008000",
"blue": "#0000ff",
"dark_yellow": "#cc7722",
"red": "#ff0000",
"magenta": "#ff00ff",
"dark_red": "#800000",
"yellow": "#ffff00",
"dark_magenta": "#012456",
"cyan": "#00ffff",
"green": "#00ff00",
"dark_blue": "#000080",
"gray": "#c0c0c0",
"white": "#ffffff",
"black": "#000000",
"dark_cyan": "#008080"
}