Вот простая и быстрая функция изменения размера, которая работает только для bash. Он модифицирован по сравнению с res2 phk, используя read -d delim
bash, чтобы не допустить завершения чтения по тайм-ауту.
resize() {
old=$(stty -g)
stty -echo
printf '\033[18t'
IFS=';' read -d t _ rows cols _
stty "$old"
stty cols "$cols" rows "$rows"
}
Если больше ничего не работает, возможно, вам все-таки придется использовать какое-то расширение. Основываясь на этом выпуске и этом ответе и этом я сделал это:
$ mkdir CustomCSS && cd CustomCSS
$ cat > manifest.json << EOF
{
"name": "My Style Sheet",
"content_scripts": [
{
"matches": ["*://*/*"],
"css": ["Custom.css"]
}
],
"version": "1.0.0",
"description": "User StyleSheet replacement",
"manifest_version": 2
}
EOF
$ cat > Custom.css << EOF
::-webkit-scrollbar {
height: 12px;
width: 12px;
background: yellow;
}
::-webkit-scrollbar-thumb {
background: red;
-webkit-border-radius: 1ex;
-webkit-box-shadow: 0px 1px 2px rgba(0, 0, 0, 0.75);
}
::-webkit-scrollbar-corner {
background: #000;
}
EOF
В chrome://extensions
с включенным режимом разработчика :Загрузить распакованное расширение -> выберите путь/к/CustomCSS
Вот и все. Оно работает. Красная полоса прокрутки на желтом фоне.
Проверка chrome://memory
показывает, что используется ~1,8 МБ памяти.
--
Эд :Если вы хотите переопределить стили веб-сайтов, вы можете попробовать использовать правило!important
background: red !important;
Да, это возможно.
!ddg Цвет полосы прокрутки хрома
Как изменить цвет полосы прокрутки в Google Chrome?
Как изменить стиль и цвет полосы прокрутки в Chrome
Стиль полосы прокрутки с помощью CSS в Google Chrome (-webkit)
И еще один, найденный по ссылкам выше:
Google Chrome or Chromium
Google Chrome provides a user stylesheet that you can modify in the configuration folder or the user profile folder. In Chromium/Linux, it is located at ~/.config/chromium/Default/User StyleSheets/Custom.css. For Google Chrome it is at ~/.config/google-chrome/Default/User StyleSheets/. In MS Windows, the location is %AppData%\Local\Google\Chrome\User Data\Default\User StyleSheets. Depending on the browser version and OS this could vary but check the configuration folder on your system under the folder /Default/User StyleSheets/. Also If there is no file named Custom.css then you will need to create one inside the folder User StyleSheets/.
как использовать пользовательскую или пользовательскую таблицу стилей (css )в веб-браузере .