Loading domain_substitution/domain_substitution.list +205 −158 File changed.Preview size limit exceeded, changes collapsed. Show changes domain_substitution/prune_binaries.py +7 −3 Original line number Diff line number Diff line Loading @@ -7,6 +7,7 @@ """Prune binaries from the source tree""" import argparse import itertools import sys import os import stat Loading Loading @@ -128,9 +129,12 @@ def _callback(args): prune_list = tuple(filter(len, args.pruning_list.read_text(encoding=ENCODING).splitlines())) unremovable_files = prune_files(args.directory, prune_list) if unremovable_files: get_logger().error('%d files could not be pruned.', len(unremovable_files)) get_logger().debug('Files could not be pruned:\n%s', file_list = '\n'.join(f for f in itertools.islice(unremovable_files, 5)) if len(unremovable_files) > 5: file_list += '\n... and ' + str(len(unremovable_files) - 5) + ' more' get_logger().debug('files that could not be pruned:\n%s', '\n'.join(f for f in unremovable_files)) get_logger().error('%d files could not be pruned:\n%s', len(unremovable_files), file_list) sys.exit(1) Loading update_domain_substitution.sh +1 −1 Original line number Diff line number Diff line Loading @@ -4,7 +4,7 @@ root_dir=$(dirname "$(readlink -f "$0")") cd $root_dir/domain_substitution branch="130.0.6723.69-1" branch="131.0.6778.139-1" if [ -d ungoogled-chromium ]; then cd ungoogled-chromium git fetch origin $branch Loading Loading
domain_substitution/domain_substitution.list +205 −158 File changed.Preview size limit exceeded, changes collapsed. Show changes
domain_substitution/prune_binaries.py +7 −3 Original line number Diff line number Diff line Loading @@ -7,6 +7,7 @@ """Prune binaries from the source tree""" import argparse import itertools import sys import os import stat Loading Loading @@ -128,9 +129,12 @@ def _callback(args): prune_list = tuple(filter(len, args.pruning_list.read_text(encoding=ENCODING).splitlines())) unremovable_files = prune_files(args.directory, prune_list) if unremovable_files: get_logger().error('%d files could not be pruned.', len(unremovable_files)) get_logger().debug('Files could not be pruned:\n%s', file_list = '\n'.join(f for f in itertools.islice(unremovable_files, 5)) if len(unremovable_files) > 5: file_list += '\n... and ' + str(len(unremovable_files) - 5) + ' more' get_logger().debug('files that could not be pruned:\n%s', '\n'.join(f for f in unremovable_files)) get_logger().error('%d files could not be pruned:\n%s', len(unremovable_files), file_list) sys.exit(1) Loading
update_domain_substitution.sh +1 −1 Original line number Diff line number Diff line Loading @@ -4,7 +4,7 @@ root_dir=$(dirname "$(readlink -f "$0")") cd $root_dir/domain_substitution branch="130.0.6723.69-1" branch="131.0.6778.139-1" if [ -d ungoogled-chromium ]; then cd ungoogled-chromium git fetch origin $branch Loading