APT="sudo apt-get --yes --force-yes"
AGI="${APT} install"
+AGINR="${AGI} --no-install-recommends"
ubuntu_cleanup()
{
fi
if dpkg --list | grep "evolution-exchange" 1> /dev/null 2>&1; then
- ${APT} remove --purge evolution
+ ${APT} remove --purge evolution evolution-plugins evolution-webcal evolution-data-server evolution-indicator evolution-common
+fi
+
+if dpkg --list | grep "empathy-common" 1> /dev/null 2>&1; then
+ ${APT} remove --purge empathy*
fi
if dpkg --list | grep "pppconfig" 1> /dev/null 2>&1; then
${AGI} reiserfsprogs gparted
${AGI} gddrescue
-${AGI} smartmontools --no-install-recommends
+${AGINR} smartmontools
# Connection serveurs NFS
${AGI} nfs-common portmap
# Development
if [ "x${INSTALL_DEV_TOOLS}" = "x1" ]; then
${AGI} git
+ # Set global configuration options to ~/.gitconfig
+ git config --global core.editor emacs
+ git config --global color.ui true
${AGI} build-essential texinfo gettext gawk bison flex
${AGI} autoconf autoconf-doc autotools-dev libtool
${AGI} manpages manpages-dev manpages-posix manpages-posix-dev
# Jackd
if [ "x${INSTALL_MUSIC_STUDIO}" = "x1" ]; then
- ${AGI} jackd patchage
+ ${AGINR} jackd patchage
sudo sed -i -e 's!^\(@audio\s*-\s*rtprio\s*\).*!\199!' \
/etc/security/limits.d/audio.conf
${AGI} pulseaudio-module-jack