# HG changeset patch # User Sascha Wilde # Date 1404228151 -7200 # Node ID f12b102b33caf325da271e303398d803f3cf0eb1 # Parent b55d49150e3698a87b7801e3a29cf3a0ec326c7a# Parent a45682b5ff7eb3a5231bc56d3b53d325130c2cbc Merged diff -r a45682b5ff7e -r f12b102b33ca packaging/linux-installer.inc.in --- a/packaging/linux-installer.inc.in Tue Jul 01 17:20:23 2014 +0200 +++ b/packaging/linux-installer.inc.in Tue Jul 01 17:22:31 2014 +0200 @@ -1,6 +1,25 @@ #!/bin/bash -PREFIX=/usr/local +ME=`basename "$0"` +VERSION='@PROJECT_VERSION@' +DEFAULT_PREFIX=/usr/local + +path="" + +version() +{ + cat <=2). See LICENSE.txt for details. +There is NO WARRANTY, to the extent permitted by law. +EOF + exit 0 +} fatal() { @@ -9,19 +28,69 @@ exit 1 } +usage() +{ + cat <