Browse Source

Use standard terminal on debian-like distributions

On debian and debian-like distributions there is an x-terminal-emulator
symlink that points to the preferred terminal emulator to use. So, if
we're on debian, use this instead of defaulting to xterm.
pull/3/head
George Vlahavas 11 years ago
parent
commit
ead9e88398
  1. 7
      src/xdgmenumaker

7
src/xdgmenumaker

@ -49,6 +49,11 @@ system_icon = de.getIcon()
de = dentry.DesktopEntry(filename = '/usr/share/desktop-directories/xdgmenumaker-other.directory') de = dentry.DesktopEntry(filename = '/usr/share/desktop-directories/xdgmenumaker-other.directory')
other = de.getName().encode('utf-8') other = de.getName().encode('utf-8')
other_icon = de.getIcon() other_icon = de.getIcon()
# use debians alternative system if available
if os.path.exists('/etc/alternatives/x-terminal-emulator') and os.path.exists('/usr/bin/x-terminal-emulator'):
terminal_app = '/usr/bin/x-terminal-emulator'
else:
terminal_app = 'xterm'
def main(argv): def main(argv):
global desktop global desktop
@ -155,7 +160,7 @@ def get_entry_info(desktopfile):
terminal = de.getTerminal() terminal = de.getTerminal()
if terminal is True: if terminal is True:
command = 'xterm -e '+command command = terminal_app+' -e '+command
path = de.getPath() path = de.getPath()
if not path: if not path:

Loading…
Cancel
Save