dateFromServer=$(curl -v --silent https://google.com/ 2>&1 \
| grep Date | sed -e 's/< Date: //'); date +"%d%m%Y%H%M%S" -d "$dateFromServer"
или
date -s `curl -I 'https://startpage.com/' 2>/dev/null | grep -i '^date:' | sed 's/^[Dd]ate: //g'`
Что-то устанавливает _NET_WM_STRUT_PARTIAL
, чтобы заблокировать эту часть экрана. Для меня это был лоток .
Если вы используете лоток , попробуйте использовать --SetPartialStrut false
, чтобы узнать, исправляет ли он это. Если нет, вам придется отслеживать, что его устанавливает. Если вы используете лоток на том же краю, что и xmobar , который уже устанавливает правильный край как заблокированный, так что, хотя технически все может идти вверх по лотку, они не будут поскольку xmobar будет блокировать это пространство.
Я был на грани отказа от Ubuntu точно так же, как вы, и я являюсь возвращающимся пользователем Linux, а не новичком. Как всегда, самое элегантное решение является самым простым. В моем случае cvt
сгенерированы неправильные данные, которые я только что обнаружил после нескольких дней головных болей.
Короче говоря, вам нужно будет использовать xvidtune
для генерации новых чисел, которые вам придется вставить либо в инструменте командной строки xorg.conf
или xrandr
. Если вы вставляете xorg.conf
, вы должны иметь аналогичную строку в разделе «Монитор»:
Modeline "1280x1024_60.00" 108.88 1280 1284 1420 1712 1024 1025 1028 1064 -HSync +Vsync
Если вы используете xrandr
для изменения разрешения, вы должны использовать что-то вроде этого:
xrandr --newmode your_choice_of_name 173.00 1920 2048 2248 2576 1080 1083 1088 1120
xrandr --addmode VGA1 your_choice_of_name
xrandr --output VGA1 --mode your_choice_of_name
Конечно, меняя числа с одним из xvidtune
.
Я просто надеюсь, что я помог кому-то, потому что я потратил много часов, пытаясь решить эту проблему и не мог найти решения для этого. Удачи.