#!/bin/bash if [[ $EUID -ne 0 ]]; then echo "This script must be run as root" 1>&2 exit 1 fi cat > /etc/apt/preferences.d/00-puppet.pref < false }}'