Расширение ответа @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