Нужен индикатор Unity для Gnome Phone Manager

Расширение ответа @alberge, вы можете выполнить следующий скрипт python3, чтобы изменить все ваши профили, чтобы сделать это:

#!/usr/bin/python3

import subprocess

command = ["dconf", "list", "/org/gnome/terminal/legacy/profiles:/"]
result = subprocess.run(command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, universal_newlines=True)

profiles = result.stdout.split('\n')

for profileString in profiles:
    if profileString.startswith(":"):
        changeCmdPart = "/org/gnome/terminal/legacy/profiles:/" + profileString + "word-char-exceptions"
        changeCmd = ["dconf", "write", changeCmdPart, '@ms "-#%&+,./:=?@_~"']
        subprocess.run(changeCmd)

print("done!")

Или вы можете просто выполнить:

curl -s http://scripts.programster.org/scripts/5?output=raw | python3
0
задан 28 April 2012 в 06:15

0 ответов

Другие вопросы по тегам:

Похожие вопросы: