#! /bin/bash echo -e "Package: *\nPin: release a=experimental\nPin-Priority: 600" > /etc/apt/preferences.d/0-pika-debian-settings rm -rfv ./generated-output mkdir -p ./generated-output mkdir -p ./generated-output/bin-names-of-src-lists chmod +x ./scripts/get-bin-name-from-src.sh chmod +x ./scripts/gen-apt-config.py apt-get update -y ./scripts/gen-apt-config.py ./scripts/gen-bin-lists.py