add RPi version (fix #267)

This commit is contained in:
john30
2019-11-10 19:04:05 +01:00
parent 819463fc27
commit 3e7e4c7a3c
2 changed files with 33 additions and 0 deletions
+8
View File
@@ -0,0 +1,8 @@
#!/bin/bash
set -e
if [ "${1#-}" != "$1" ]; then
set -- ebusd "$@"
fi
exec "$@"