diff --git a/startup_bernina_terminal b/startup_bernina_terminal index 6a73125..ca43f80 100755 --- a/startup_bernina_terminal +++ b/startup_bernina_terminal @@ -15,11 +15,14 @@ gsettings set org.gnome.shell.overrides workspaces-only-on-primary true #custom bernina keyboard shortcuts gsettings reset org.gnome.settings-daemon.plugins.media-keys custom-keybindings -if [ "$(hostname)" = "saresb-cons-03.psi.ch" ] | [ "$(hostname)" = "saresb-cons-04.psi.ch" ] | [ "$(hostname)" = "saresb-cons-05.psi.ch" ] ; then +if [ "$(hostname)" = "saresb-cons-03.psi.ch" ] || [ "$(hostname)" = "saresb-cons-04.psi.ch" ] || [ "$(hostname)" = "saresb-cons-05.psi.ch" ]; then + echo "This is a primary controls terminal" set_gnome_keyboard_shortcut 'stop_fel' 'feloff' 'Calculator' set_gnome_keyboard_shortcut 'open_fel' 'felon' 'Calculator' set_gnome_keyboard_shortcut 'stop_laser' 'laseroff' 'Mail' set_gnome_keyboard_shortcut 'open_laser' 'laseron' 'Mail' + else + echo "no primary controls terminal" fi set_gnome_keyboard_shortcut 'eco' 'gnome-terminal -- eco' 'c' set_gnome_keyboard_shortcut 'eco' 'gnome-terminal -- eco' 'HomePage'