Как включить и отключить расширения gnome из командной строки
Вам нужно будет время сценария, а не команды at. Сделайте что-то вроде:
echo "/usr/bin/time -o /tmp/script-time ./script.sh" | at now +2 min
И вывод time будет сохранен в /tmp/script-time.
3 ответа
Запустите
gsettings set org.gnome.shell disable-user-extensions true
, чтобы отключить все расширения, активированные пользователем (он будет помнить, какая из расширений в данный момент включена, не будет отключать расширения отдельно).
Аналогично, запустите
gsettings set org.gnome.shell disable-user-extensions false
, чтобы активировать расширения.
Запустите
gsettings set org.gnome.shell disable-user-extensions true
, чтобы отключить все расширения, активированные пользователем (он будет помнить, какая из расширений в данный момент включена, не будет отключать расширения отдельно).
Аналогично, запустите
gsettings set org.gnome.shell disable-user-extensions false
, чтобы активировать расширения.
Запустите
gsettings set org.gnome.shell disable-user-extensions true
, чтобы отключить все расширения, активированные пользователем (он будет помнить, какая из расширений в данный момент включена, не будет отключать расширения отдельно).
Аналогично, запустите
gsettings set org.gnome.shell disable-user-extensions false
, чтобы активировать расширения.