diff options
Diffstat (limited to 'sample_configuration/switchToManager.sh')
| -rwxr-xr-x | sample_configuration/switchToManager.sh | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/sample_configuration/switchToManager.sh b/sample_configuration/switchToManager.sh index 86c6704..84f3c37 100755 --- a/sample_configuration/switchToManager.sh +++ b/sample_configuration/switchToManager.sh @@ -1,6 +1,14 @@ #!/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" -wmctrl -r $wt -t 1 -wmctrl -a $wt |