From 929bffa55e8ad38618eb151ae6d42ae82973ec1a Mon Sep 17 00:00:00 2001
From: John Chilton <jmchilton@gmail.com>
Date: Mon, 12 Dec 2016 08:19:14 -0500
Subject: [PATCH] Remove now unused update_galaxy_client.sh.
---
update_galaxy_client.sh | 45 -----------------------------------------
1 file changed, 45 deletions(-)
delete mode 100755 update_galaxy_client.sh
diff --git a/update_galaxy_client.sh b/update_galaxy_client.sh
deleted file mode 100755
index d34a91b6..00000000
--- a/update_galaxy_client.sh
+++ /dev/null
@@ -1,45 +0,0 @@
-#!/bin/bash
-
-usage() {
-cat << EOF
-Usage: ${0##*/} [-i] /path/to/galaxy...
-Sync Pulsar client with copy in specified Galaxy directory (or vice versa if -i).
-
-EOF
-}
-
-if [ $# -lt 1 ]; then
- usage
- exit 1
-fi
-
-invert=0
-OPTIND=1
-while getopts ":i" opt; do
- case "$opt" in
- h)
- usage
- exit 0
- ;;
- i)
- invert=1
- ;;
- '?')
- usage >&2
- exit 1
- ;;
- esac
-done
-shift "$((OPTIND-1))" # Shift off the options and optional --.
-PULSAR_DIRECTORY="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
-GALAXY_DIRECTORY=$1
-GALAXY_PULSAR_DIRECTORY=$GALAXY_DIRECTORY/lib/pulsar/
-
-if [ "$invert" -ne "1" ];
-then
- rm -rf $GALAXY_PULSAR_DIRECTORY/client
- cp -r $PULSAR_DIRECTORY/pulsar/client $GALAXY_PULSAR_DIRECTORY
-else
- rm -rf $PULSAR_DIRECTORY/pulsar/client
- cp -r $GALAXY_PULSAR_DIRECTORY/client $PULSAR_DIRECTORY/pulsar
-fi
--
GitLab