pin-generation/gen-apt-pins.sh

11 lines
390 B
Bash
Raw Normal View History

#! /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