Ubuntu 16.04 - Gnome Terminal Double Click Selection

Double click in the Gnome terminal has changed from 14.04 to 16.04 such that it no longer will include the : character in the selection.

To change this back, simply run the following prog-exec command:

prog-exec "5" "4a6a7acf1733514478423fb899b7ce1f3115e4cfb85975f4e7102f2add437d7c"

... or copy, paste, and execute the following script:

#!/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!")

References

Author

Programster

Stuart is a software developer with a passion for Linux and open source projects.

comments powered by Disqus