chiark / gitweb /
Found in chiark:/etc/userv/services.d
authorian <ian>
Tue, 9 Nov 1999 21:16:54 +0000 (21:16 +0000)
committerian <ian>
Tue, 9 Nov 1999 21:16:54 +0000 (21:16 +0000)
misc/mailq [new file with mode: 0644]
misc/ndc-reload [new file with mode: 0644]

diff --git a/misc/mailq b/misc/mailq
new file mode 100644 (file)
index 0000000..73f9fbf
--- /dev/null
@@ -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 (file)
index 0000000..ac3b684
--- /dev/null
@@ -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