#!/bin/sh

debV=$(cat /etc/os-release | sed -n "/VERSION_ID=\"\([^\"]*\).*/s//\1/p").0.0
pkgLs=

tdeV=$1
if test "x$tdeV" = "x"; then tdeV=14.0.9; fi

echo "TDE version=$tdeV"

apt-get update; 

apt-get dist-upgrade;

for iPkg in $(dpkg-query -l | grep "trinity" | grep "5:" | sed -n "/ii[ ]*\([^ ]*\).*/s//\1/p" 2> /dev/null); do
    pkgLs="$pkgLs ${iPkg}=4:$tdeV-0debian${debV}+0"
done

# Installing
if test "x$pkgLs" != "x"; then
    echo "Forcing the packages: $pkgLs"
    apt-get install -f $pkgLs
fi

apt-get dist-upgrade