diff --git a/bootstrap b/bootstrap index 3217021..b74b13d 100755 --- a/bootstrap +++ b/bootstrap @@ -16,8 +16,7 @@ # You should have received a copy of the GNU General Public License # along with this program. If not, see . # -# This will also download any necessary third-party files. Note that all -# downloads are proxied over Tor (using `torify'). +# This will also download any necessary third-party files. ## set -euo pipefail @@ -56,7 +55,7 @@ get-fonts() dest="$fontdir/$font" test ! -f "$dest" || continue - torify wget "$src" -O "$dest" + wget "$src" -O "$dest" done # Verify that we haven't been served bad files. This should only happen diff --git a/images/tp/gen-makefile b/images/tp/gen-makefile index 0b99526..c107104 100755 --- a/images/tp/gen-makefile +++ b/images/tp/gen-makefile @@ -22,8 +22,6 @@ declare -r remote_file=remote-list cat <