From 22c69aaabfd1fc92324b6854be57abe9acc9db27 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jean-No=C3=ABl=20Avila?= <jn.avila@free.fr> Date: Fri, 10 Dec 2021 17:22:57 +0100 Subject: [PATCH] lower priorities of almost plumbing commands MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Jean-No챘l Avila <jn.avila@free.fr> --- scripts/set-priorities | 28 +++++++++++++++++++++++++++- 1 file changed, 27 insertions(+), 1 deletion(-) diff --git a/scripts/set-priorities b/scripts/set-priorities index 82dec83..55d1d83 100755 --- a/scripts/set-priorities +++ b/scripts/set-priorities @@ -33,11 +33,36 @@ SECTIONS = {300: ["en/git-init.txt", "en/git-pull.txt", "en/git-push.txt", "en/git-remote.txt", - "en/git-submodule.txt"] + "en/git-submodule.txt"], + 90: ["en/git-cvsexportcommit.txt", + "en/git-cvsimport.txt", + "en/git-cvsserver.txt", + "en/git-unpack-file.txt", + "en/git-unpack-objects.txt", + "en/git-fetch-pack.txt", + "en/git-filter-branch.txt", + "en/git-update-server-info.txt" + "en/git-sh-i18n.txt", + "en/git-sh-i18n--envsubst.txt", + "en/git-send-pack.txt", + "en/git-remote-ext.txt", + "en/git-remote-fd.txt", + "en/git-receive-pack.txt", + "en/git-send-pack.txt", + "en/git-p4.txt", + "en/git-write-tree.txt", + "en/git-symbolic-ref.txt" + "en/git-merge-base.txt", + "en/git-merge-file.txt", + "en/git-merge-index.txt", + "en/git-credential-cache--deamon.txt", + "en/git-credential-cache.txt" + ] } INCLUDE_REGEX = re.compile('''include::(.*)\\[\\]\n''') + def process_file(filename, priority, priorities): basedirname = dirname(filename) try: @@ -51,6 +76,7 @@ def process_file(filename, priority, priorities): except Exception: print("could not find " + filename) + def main(f_list): priorities = dict((source, section) for section in SECTIONS for source in SECTIONS[section]) items = list(priorities.items()) -- GitLab