diff options
author | asanoaozora <fifitaneki@hotmail.com> | 2016-12-20 15:41:19 +0100 |
---|---|---|
committer | asanoaozora <fifitaneki@hotmail.com> | 2016-12-20 15:41:19 +0100 |
commit | 4234b74480e6684051852598a4f31976a8db437d (patch) | |
tree | 2af092b4ac9142ef986f83514c4eeffcddc6a939 /src/set_window_location | |
parent | c95dd55257c739c930bfd4ca7070b6405b6ef8a4 (diff) | |
download | navigation-4234b74480e6684051852598a4f31976a8db437d.tar.gz |
preparation of a more simple HMI: pre-release version
Diffstat (limited to 'src/set_window_location')
-rwxr-xr-x | src/set_window_location | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/set_window_location b/src/set_window_location new file mode 100755 index 0000000..9da8e87 --- /dev/null +++ b/src/set_window_location @@ -0,0 +1,19 @@ +#! /bin/bash + +# function to get the window id +function get_window_id() +{ + window_id=$(wmctrl -l | grep "$1" | tail -1 | cut -f1 -d" ") +} + +get_window_id "hmi-launcher" +wmctrl -i -r "$window_id" -e 0,100,100,800,480 + +get_window_id "navit" +wmctrl -i -r "$window_id" -e 0,100,72,800,480 + +wmctrl -a "hmi-launcher" + +get_window_id "Simulation dashboard" +wmctrl -i -r "$window_id" -e 0,100,600,800,480 + |