2015-07-02 17:01:26 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2015-07-04 13:28:43 +02:00
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
|
|
|
|
|
source "${DIR}/util.sh"
|
|
|
|
|
|
|
|
|
|
info "Updating packages definition..."
|
2015-10-22 16:55:54 +02:00
|
|
|
apt-get update 2> >(stderr) 1> >(stdout)
|
2015-07-04 13:28:43 +02:00
|
|
|
|
|
|
|
|
info "Installing package $1..."
|
2015-10-22 16:55:54 +02:00
|
|
|
gdebi --n "$1" 2> >(stderr) 1> >(stdout)
|
