debian: Run the server as `tripe' rather than `root'.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 19 Apr 2010 21:00:59 +0000 (22:00 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 19 Apr 2010 21:43:19 +0000 (22:43 +0100)
commita5c4dd60c89a65d24df1dc1603632c9c97f6ac98
tree100437cb84e8742ad21d5fb6bef4fff7261a4fbf
parente6c835fd3c10e38a36ebc41f74f47d686c95ad9d
debian: Run the server as `tripe' rather than `root'.

We have the fancy privilege separation machinery now, so we might as
well actually use it.  This involves (a) slightly hacking the
/etc/default/tripe file to set the user and group, and (b) actually
creating the necessary user and group accounts in the postinst script.
debian/control
debian/rules
debian/tripe.postinst