diff options
author | James P. Harvey | 2019-08-18 22:48:45 -0400 |
---|---|---|
committer | James P. Harvey | 2019-08-18 23:09:52 -0400 |
commit | a3760dda277e84a8fc0016619a3ac5f7830283d5 (patch) | |
tree | 0491462cfa5b88d697173da0e40d54f88c3694f5 /gpm-vm | |
parent | b57d20780988b607b21b2bd1856e5fa5797b453c (diff) | |
download | aur-a3760dda277e84a8fc0016619a3ac5f7830283d5.tar.gz |
Add patch for VM USB tablet support, and use it by default.
Diffstat (limited to 'gpm-vm')
-rwxr-xr-x | gpm-vm | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gpm-vm b/gpm-vm new file mode 100755 index 000000000000..f2e1cf780301 --- /dev/null +++ b/gpm-vm @@ -0,0 +1,22 @@ +#!/usr/bin/bash + +conf="/etc/gpm-vm.conf" + +if [[ ! -f "${conf}" ]]; then + echo "'${conf}' does not exist" + exit 1 +fi + +source "${conf}" + +if [[ ! -v event ]]; then + echo "'event' is not set in '${conf}'" + exit 1 +fi + +if [[ ! -c "${event}" ]]; then + echo "'${event}' does not exist or is not a character device" + exit 1 +fi + +/usr/bin/gpm -m "${event}" -t vbox |