PatR
4fc96b0218
another paranoid_confirmation revision
...
Add support for
|OPTIONS=paranoid_confirm:+foo !bar
to enable confirmation for foo and disable it for bar while leaving
other settings intact. Drop support for
|OPTIONS=!paranoid_confirm:bar
since paranoid_confirm:-bar and paranoid_confirm:+!bar accomplish the
same thing. !paranoid_confirm still works as paranoid_confirm:none.
Update the documentation for paranoid_confirmation. It doesn't spell
out all the ins and outs but should cover enough for actual use.
The revised Guidebook.tex is untested.
2023-07-10 23:38:18 -07:00
..
2022-01-29 16:28:06 -05:00
2022-06-18 10:29:15 -04:00
2023-02-27 10:18:14 -05:00
2022-02-10 16:45:03 -05:00
2022-02-10 16:45:03 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2023-02-16 23:43:37 -08:00
2023-07-09 15:31:24 -07:00
2022-01-29 16:28:06 -05:00
2020-02-14 18:15:25 -08:00
2020-02-15 14:42:00 -08:00
2023-07-10 23:38:18 -07:00
2023-07-10 23:38:18 -07:00
2023-05-07 07:38:22 -04:00
2023-07-04 16:19:27 -07:00
2022-02-22 20:14:44 -05:00
2022-02-22 20:14:44 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:10 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:26 -05:00
2022-12-07 12:22:49 -08:00
2022-12-08 10:46:36 -05:00
2022-01-29 16:28:06 -05:00
2022-02-22 20:14:44 -05:00
2022-02-22 20:14:44 -05:00
2023-05-13 13:49:57 -04:00
2018-09-20 18:02:48 -04:00
2023-02-09 20:07:18 -05:00
2023-05-13 13:49:57 -04:00