diff options
author | ian <ian> | 1999-11-09 21:16:54 +0000 |
---|---|---|
committer | ian <ian> | 1999-11-09 21:16:54 +0000 |
commit | 3b30c50e64735d6d71d6a888f7befbfd86aad637 (patch) | |
tree | 498619f18bc0e2300f43adab5c36498798698117 /misc | |
parent | 2ab84d52e1f8d7c240b98dcc3d84db9ca4596020 (diff) | |
download | userv-utils-3b30c50e64735d6d71d6a888f7befbfd86aad637.tar.gz |
Found in chiark:/etc/userv/services.d
Diffstat (limited to 'misc')
-rw-r--r-- | misc/mailq | 9 | ||||
-rw-r--r-- | misc/ndc-reload | 10 |
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 |