Skip to content
Snippets Groups Projects
Commit 7a2b3d53 authored by Rainer Kartmann's avatar Rainer Kartmann
Browse files

Fix condition in h2t-ppa

parent 1e174ec2
No related branches found
No related tags found
Loading
......@@ -4,11 +4,13 @@ directory="/etc/apt/sources.list.d"
file="$directory/h2t.list"
alt="$directory/h2t_repo.list"
if ! [ -e "$file" ] || [ -e "$alt" ]; then
if [[ ! -e "$file" ]] && [[ ! -e "$alt" ]]; then
wget -O /tmp/h2t-key.pub https://packages.humanoids.kit.edu/h2t-key.pub
sudo apt-key add /tmp/h2t-key.pub
rm /tmp/h2t-key.pub
echo -e "deb http://packages.humanoids.kit.edu/bionic/main bionic main\ndeb http://packages.humanoids.kit.edu/bionic/testing bionic testing" | sudo tee "$file" >/dev/null
sudo apt update
# else
# echo "h2t-ppa already added."
fi
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment