#!/bin/sh # Speed up package installation by disabling all file system # flushing. If something go wrong on first time installation, # reinstall. This override is put in place post-base-installer.d and # pre-pkgsel.d and undone in finish-install. See also bug #613428. set -e log() { logger -t edu-eatmydata-install "$@"; } info() { log "info: $@"; } warning() { log "warning: $@"; } error() { log "error: $@"; } at_exit() { error "script $0 terminated unexpectedly." } disable_exception() { trap - INT TERM EXIT; } trap at_exit INT TERM EXIT enable_override() { apt-install eatmydata || true if [ -x /target/usr/bin/eatmydata ] ; then if [ ! -f /target/etc/apt/apt.conf.d/95debian-edu-install-dpkg-eatmydata ]; then info "Adding apt config to call dpkg via eatmydata" printf "#!/bin/sh\nexec eatmydata dpkg \"\$@\"\n" \ > /target/var/tmp/dpkg-eatmydata chmod 755 /target/var/tmp/dpkg-eatmydata cat > /target/etc/apt/apt.conf.d/95debian-edu-install-dpkg-eatmydata <