Add conduit file and setup script

2017-12-05 12:27:41 +00:00
1 changed files with 2 additions and 0 deletions
--- a/gnome-terminal.sh
+++ b/gnome-terminal.sh
@ -2,6 +2,8 @@

 set -e

+which gnome-terminal &> /dev/null || exit 0
+
 terminal=/org/gnome/terminal/legacy/
 profile=${terminal}profiles:/`dconf list ${terminal}profiles:/`