chiark / gitweb /
chpwd, operation.py: Allow administrative override of policy.
[chopwood] / chpwd
diff --git a/chpwd b/chpwd
index 0e0de39357555ec73b41b39422e8dc3f5dfc91e8..2d6c75c8c32d2025057fb5715da74f87c171fccf 100755 (executable)
--- a/chpwd
+++ b/chpwd
@@ -76,6 +76,9 @@ for short, long, props in [
     'default': ENV.get('CHPWD_CONFIG',
                        OS.path.join(HOME, 'chpwd.conf')),
     'help': 'read configuration from FILE.' }),
+  ('-i', '--ignore-policy', {
+    'dest': 'ignpol', 'default': False, 'action': 'store_true',
+    'help': 'ignore the operation policy (for administrators)' }),
   ('-s', '--ssl', {
     'dest': 'sslp', 'action': 'store_true',
     'help': 'pretend CGI connection is carried over SSL/TLS' }),