gnome-terminal-server --app-id option does not accept digits after a period
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-terminal (Ubuntu) |
New
|
Undecided
|
Unassigned |
Bug Description
Low priority - easy work around
On Ubuntu 16.04 LTS for gnome-terminal-
The below error appears upon executing the below script.
Failed to register: GDBus.Error:
The easy work around is to prefix the date and time stamps with a letter. I did not try anything else. I used D and T as the prefix letters for the date and time, respectively. See the script below which has both the work around and recreate error lines.
Terminal Profile "linode" has the Command tab settings as follows:
Checked Run a custom command instead of my shell
Custom command: ssh <email address hidden>
When command exits: Hold the terminal open
--
SCRIPT:
#/bin/bash
## Code that works - easy work around - prefix digits with a letter
ds=`/bin/date '+D20%y%
## Code that recreates the error
ds=`/bin/date '+20%y%m%d.%H%M%S'`
## Debugging a crash of gnome-terminal-
fnstderr=
date >>$fnstderr
uptime >>$fnstderr
## https:/
LIBOVERLAY_
UBUNTU_MENUPROXY=0
NO_UNITY_
/usr/lib/
gnome-terminal --app-id my.linode.