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-08-05 15:49:04 +02:00
|
|
|
apt-get update 2> >(error) 1> >(info)
|
2015-07-04 13:28:43 +02:00
|
|
|
|
|
|
|
|
info "Installing package $1..."
|
2015-08-05 15:49:04 +02:00
|
|
|
gdebi --n "$1" 2> >(error) 1> >(info)
|
