extract-profile: Add manpage.

[distorted-keys] / debian / distorted-keys.postinst

diff --git a/debian/distorted-keys.postinst b/debian/distorted-keys.postinst
index 99a18090a00e6a077b78db23ffb0eb15e0012ee5..36b7237eef56d5ebbd2f01e00b1ce052a56cf90d 100755 (executable)
--- a/debian/distorted-keys.postinst
+++ b/debian/distorted-keys.postinst
@@ -8,7 +8,7 @@ home=/var/lib/distorted-keys
 ## Make sure the user exists.
 if ! grep -q ^$user: /etc/passwd; then
   adduser --quiet --system --group \
-    --disabled-password --shell /bin/false \
+    --disabled-password --shell /dev/token-shells/userv \
     --no-create-home --home $home \
     $user
 fi