diff options
Diffstat (limited to 'debian')
-rw-r--r-- | debian/changelog | 5 | ||||
-rw-r--r-- | debian/compat | 1 | ||||
-rw-r--r-- | debian/control | 19 | ||||
-rw-r--r-- | debian/copyright | 36 | ||||
-rw-r--r-- | debian/install | 1 | ||||
-rw-r--r-- | debian/postinst | 12 | ||||
-rw-r--r-- | debian/postrm | 17 | ||||
-rw-r--r-- | debian/rhrdtime.service | 18 | ||||
-rwxr-xr-x | debian/rules | 15 | ||||
-rw-r--r-- | debian/source/format | 1 |
10 files changed, 125 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog new file mode 100644 index 0000000..35e4e04 --- /dev/null +++ b/debian/changelog @@ -0,0 +1,5 @@ +rhrdtime (0.1) UNRELEASED; urgency=medium + + * Initial release. + + -- Christian Pointner <equinox@helsinki.at> Fri, 17 Jul 2015 02:52:40 +0200 diff --git a/debian/compat b/debian/compat new file mode 100644 index 0000000..ec63514 --- /dev/null +++ b/debian/compat @@ -0,0 +1 @@ +9 diff --git a/debian/control b/debian/control new file mode 100644 index 0000000..27cf585 --- /dev/null +++ b/debian/control @@ -0,0 +1,19 @@ +Source: rhrdtime +Section: net +Priority: optional +Maintainer: Christian Pointner <equinox@helsinki.ag> +Build-Depends: debhelper (>=9), dh-systemd, golang-go (>=2:1.2), git +Standards-Version: 3.9.5 + +Package: rhrdtime +Architecture: i386 amd64 armhf armel +Depends: ${misc:Depends}, ${shlibs:Depends}, adduser +Description: Radio Helsinki Rivendell Time Websocket Server + this small daemon acts as a websocket server which calucaltes the + current rivendell week number and the current server timestamp. + . + This information is used by rhwebimport (and potentially other + services) to show the current time and Rivendell week of the + Radio Helsinki Rivendell Server. These services can then show + an accurate time information regardless of the settings on the + client. diff --git a/debian/copyright b/debian/copyright new file mode 100644 index 0000000..662bcbd --- /dev/null +++ b/debian/copyright @@ -0,0 +1,36 @@ +Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: rhrdtime +Upstream-Contact: Christian Pointner <equinox@helsinki.at> +Source: http://git.helsinki.at/?p=rhrdtime.git;a=summary + +Files: * +Copyright: 2015, Christian Pointner <equinox@helsinki.at> +License: GPL-3+ + rhrdtime is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + any later version. + . + rhrdtime is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + . + You should have received a copy of the GNU General Public License + along with rhrdtime. If not, see <http://www.gnu.org/licenses/>. + +Files: debian/* +Copyright: 2015, Christian Pointner <equinox@helsinki.at> +License: GPL-3+ + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + . + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + . + You should have received a copy of the GNU General Public License + along with this program. If not, see '/usr/share/common-licenses/GPL-3'. diff --git a/debian/install b/debian/install new file mode 100644 index 0000000..04c1d68 --- /dev/null +++ b/debian/install @@ -0,0 +1 @@ +usr/bin/rhrdtime diff --git a/debian/postinst b/debian/postinst new file mode 100644 index 0000000..8c09ec2 --- /dev/null +++ b/debian/postinst @@ -0,0 +1,12 @@ +#!/bin/sh +# postinst script for rhrdtime + +set -e + +if [ "$1" = "configure" ]; then + adduser --quiet --system --group --home /var/lib/rhrdtime rhrdtime +fi + +#DEBHELPER# + +exit 0 diff --git a/debian/postrm b/debian/postrm new file mode 100644 index 0000000..369e0be --- /dev/null +++ b/debian/postrm @@ -0,0 +1,17 @@ +#!/bin/sh +# postrm script for rhrdtime + +set -e + +if [ "$1" = "purge" ] ; then + if [ -x "$(command -v deluser)" -a -x "$(command -v delgroup)" ]; then + deluser --quiet --system rhrdtime || true + delgroup --quiet --system rhrdtime || true + else + echo "Not removing rhrdtime user and group: adduser package not found." >&2 + fi +fi + +#DEBHELPER# + +exit 0 diff --git a/debian/rhrdtime.service b/debian/rhrdtime.service new file mode 100644 index 0000000..0d4658e --- /dev/null +++ b/debian/rhrdtime.service @@ -0,0 +1,18 @@ +[Unit] +Description=Radio Helsinki Rivendell Time Websocket Server + +[Service] +User=rhrdtime +Group=rhrdtime +ExecStart=/usr/bin/rhrdtime +Restart=always +RestartSec=1s +StartLimitInterval=5 +StartLimitBurst=6 +PrivateTmp=yes +PrivateDevices=yes +ProtectSystem=full +ProtectHome=yes + +[Install] +WantedBy=multi-user.target diff --git a/debian/rules b/debian/rules new file mode 100755 index 0000000..ccd28ea --- /dev/null +++ b/debian/rules @@ -0,0 +1,15 @@ +#!/usr/bin/make -f +%: + dh $@ --with=systemd + +override_dh_auto_configure: + +override_dh_auto_build: + $(MAKE) build + +override_dh_auto_clean: + $(MAKE) distclean + +override_dh_auto_install: + install -d $$(pwd)/debian/tmp/usr/bin/ + install -m 755 $$(pwd)/bin/rhrdtime $$(pwd)/debian/tmp/usr/bin/ diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 0000000..163aaf8 --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) |