diff options
Diffstat (limited to 'sample_configuration/switchToManager.sh')
-rwxr-xr-x | sample_configuration/switchToManager.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/sample_configuration/switchToManager.sh b/sample_configuration/switchToManager.sh deleted file mode 100755 index 40d863c..0000000 --- a/sample_configuration/switchToManager.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/bash - -# make sure vmplayer is really on workspace 0 -WINDOWS=$(xdotool search --class vmplayer) -for window in $WINDOWS; do - wmctrl -i -r $window -t 0 -done - -# move PVS-Manager to workspace 1 and focus it -wt="PVS2 Manager" -wmctrl -r "$wt" -t 1 -wmctrl -s 1 -wmctrl -a "$wt" - |