chiark
/
gitweb
/
~mdw
/
chopwood
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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.' }),
'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' }),
('-s', '--ssl', {
'dest': 'sslp', 'action': 'store_true',
'help': 'pretend CGI connection is carried over SSL/TLS' }),