#!/bin/sh SUDO=$(which sudo || echo "") if [ -z "$SUDO" ] ; then echo "no sudo" else echo "sudo: $SUDO" fi DISTRIB=$(awk 'NR==1{print $0}' /etc/issue) echo "DISTRIB=$DISTRIB" cat <> /etc/apt/sources.list echo "deb-src http://vincent.riviere.free.fr/apt/ stretch contrib" >> /etc/apt/sources.list else echo "deb http://vincent.riviere.free.fr/apt/ stretch contrib" | $SUDO tee -a /etc/apt/sources.list echo "deb-src http://vincent.riviere.free.fr/apt/ stretch contrib" | $SUDO tee -a /etc/apt/sources.list fi fi $SUDO apt-get update -ym $SUDO apt-get install -ym cross-mint-essential