summaryrefslogtreecommitdiff
path: root/misc
diff options
context:
space:
mode:
authorian <ian>1999-11-09 21:16:54 +0000
committerian <ian>1999-11-09 21:16:54 +0000
commit3b30c50e64735d6d71d6a888f7befbfd86aad637 (patch)
tree498619f18bc0e2300f43adab5c36498798698117 /misc
parent2ab84d52e1f8d7c240b98dcc3d84db9ca4596020 (diff)
downloaduserv-utils-3b30c50e64735d6d71d6a888f7befbfd86aad637.tar.gz
Found in chiark:/etc/userv/services.d
Diffstat (limited to 'misc')
-rw-r--r--misc/mailq9
-rw-r--r--misc/ndc-reload10
2 files changed, 19 insertions, 0 deletions
diff --git a/misc/mailq b/misc/mailq
new file mode 100644
index 0000000..73f9fbf
--- /dev/null
+++ b/misc/mailq
@@ -0,0 +1,9 @@
+if ( grep calling-user-shell /etc/shells
+ & glob service-user mail
+ )
+ reset
+ no-set-environment
+ suppress-args
+ disconnect-hup
+ execute sendmail -bp
+fi
diff --git a/misc/ndc-reload b/misc/ndc-reload
new file mode 100644
index 0000000..ac3b684
--- /dev/null
+++ b/misc/ndc-reload
@@ -0,0 +1,10 @@
+#
+if ( glob calling-user ian ijackson
+ & glob service-user root
+ )
+ reset
+ no-set-environment
+ suppress-args
+ no-disconnect-hup
+ execute ndc reload
+fi