Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #! /bin/bash
- if [ $# -eq 1 ]
- NM=`uname -a && date`
- NAME=`echo $NM | md5sum | cut -f1 -d" "`
- then
- ppa_name=`echo "$1" | cut -d":" -f2 -s`
- if [ -z "$ppa_name" ]
- then
- echo "PPA name not found"
- echo "Utility to add PPA repositories in your debian machine"
- echo "$0 ppa:user/ppa-name"
- else
- echo "$ppa_name"
- echo "deb http://ppa.launchpad.net/morphis/anbox-support/ubuntu artful main" >> /etc/apt/sources.list
- apt-get update >> /dev/null 2> /tmp/${NAME}_apt_add_key.txt
- key=`cat /tmp/${NAME}_apt_add_key.txt | cut -d":" -f6 | cut -d" " -f3`
- apt-key adv --keyserver keyserver.ubuntu.com --recv-keys $key
- rm -rf /tmp/${NAME}_apt_add_key.txt
- fi
- else
- echo "Utility to add PPA repositories in your debian machine"
- echo "$0 ppa:user/ppa-name"
- fi
Add Comment
Please, Sign In to add comment