diff options
| -rwxr-xr-x | scripts/upload-pd-extended-to-launchpad.sh | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/scripts/upload-pd-extended-to-launchpad.sh b/scripts/upload-pd-extended-to-launchpad.sh index 66c2e6a8..5b9eb70f 100755 --- a/scripts/upload-pd-extended-to-launchpad.sh +++ b/scripts/upload-pd-extended-to-launchpad.sh @@ -2,22 +2,13 @@ set -x -IPBASE=`ifconfig | grep 'inet addr' \ - | sed -n 's|.*inet addr:\([0-9][0-9]*\.[0-9][0-9]*\.[0-9][0-9]*\).*|\1|p' \ - | grep -v '127\.0\.0'` - -if [ "$IPBASE" = "10.4.0" ]; then - DOWNLOAD_SERVER=10.4.0.50 -else - DOWNLOAD_SERVER=blinky.at.or.at:8888 -fi - +DOWNLOAD_SERVER=apt.puredata.info VERSION=0.43.4 DEBIAN_SOURCE_DATE=`date +%Y%m%d` URL_DATE=`date +%Y-%m-%d` ORIG=Pd-extended_${VERSION}~$DEBIAN_SOURCE_DATE-source.tar.bz2 DEBIAN=Pd-extended_${VERSION}~$DEBIAN_SOURCE_DATE-source.debian.tar.bz2 -BASE_URL=http://${DOWNLOAD_SERVER}/auto-build/$URL_DATE +BASE_URL=http://${DOWNLOAD_SERVER}/autobuild/$URL_DATE echo "Downloading source package from $BASE_URL" |