diff options
| author | Jakob Odersky <jakob@odersky.com> | 2017-02-09 22:19:01 -0800 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2017-02-09 22:19:01 -0800 |
| commit | 05667e53765583fc40eb2f9eedf32511fd528f8a (patch) | |
| tree | 5b9d38ec1655c22ccf38e81d6a11e034b6e8ca3a /debian/run | |
| parent | 020a5f26d498aa4a1d2c892899e3802b3487700b (diff) | |
| download | mavigator-05667e53765583fc40eb2f9eedf32511fd528f8a.tar.gz mavigator-05667e53765583fc40eb2f9eedf32511fd528f8a.tar.bz2 mavigator-05667e53765583fc40eb2f9eedf32511fd528f8a.zip | |
Add debian packaging
Diffstat (limited to 'debian/run')
| -rwxr-xr-x | debian/run | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/run b/debian/run new file mode 100755 index 0000000..b178bd9 --- /dev/null +++ b/debian/run @@ -0,0 +1,3 @@ +#!/bin/sh + +exec java -cp /usr/share/mavigator/lib/mavigator.jar:/etc/mavigator/application.conf mavigator.Main |