diff --git a/etherdump/commands/pull.py b/etherdump/commands/pull.py index 220c193..8b54460 100644 --- a/etherdump/commands/pull.py +++ b/etherdump/commands/pull.py @@ -69,6 +69,8 @@ def main (args): p.add_argument("--script", default="/versions.js", help="add script url to output pages, default: /versions.js") p.add_argument("--nopublish", default="__NOPUBLISH__", help="no publish magic word, default: __NOPUBLISH__") + p.add_argument("--publish", default="__PUBLISH__", help="the publish magic word, default: __PUBLISH__") + p.add_argument("--publish-opt-in", default=False, action="store_true", help="ensure `--publish` is honoured instead of `--nopublish`") args = p.parse_args(args) @@ -187,6 +189,13 @@ def main (args): try_deleting((p+raw_ext,p+".raw.html",p+".diff.html",p+".meta.json")) continue + ########################################## + ## ENFORCE __PUBLISH__ MAGIC WORD + ########################################## + if args.publish_opt_in and args.publish not in text: + try_deleting((p+raw_ext,p+".raw.html",p+".diff.html",p+".meta.json")) + continue + ver["path"] = p+raw_ext ver["url"] = quote(ver["path"]) with open(ver["path"], "w") as f: