diff options
| -rw-r--r-- | changes/bug22270 | 4 | ||||
| -rwxr-xr-x | scripts/maint/updateFallbackDirs.py | 7 |
2 files changed, 10 insertions, 1 deletions
diff --git a/changes/bug22270 b/changes/bug22270 new file mode 100644 index 0000000000..913083883d --- /dev/null +++ b/changes/bug22270 @@ -0,0 +1,4 @@ + o Minor bugfixes (fallback directory mirrors): + - Make the usage example in updateFallbackDirs.py actually work. + (And explain what it does.) + Fixes bug 22270 in 0.3.0.3-alpha. diff --git a/scripts/maint/updateFallbackDirs.py b/scripts/maint/updateFallbackDirs.py index 117ac5cccb..50a2bd620e 100755 --- a/scripts/maint/updateFallbackDirs.py +++ b/scripts/maint/updateFallbackDirs.py @@ -1,8 +1,13 @@ #!/usr/bin/python # Usage: +# +# Regenerate the list: # scripts/maint/updateFallbackDirs.py > src/or/fallback_dirs.inc -# scripts/maint/updateFallbackDirs.py check_existing > src/or/fallback_dirs.inc +# +# Check the existing list: +# scripts/maint/updateFallbackDirs.py check_existing > fallback_dirs.inc.ok +# mv fallback_dirs.inc.ok src/or/fallback_dirs.inc # # This script should be run from a stable, reliable network connection, # with no other network activity (and not over tor). |