diff deploy.sh @ 0:92415330ad3e draft

planemo upload for repository https://github.com/bardin-lab/readtagger/tree/master/galaxy commit d63500891dc173a7657bb9a9aabbeb6cf2ddb9e3-dirty
author mvdbeek
date Fri, 17 Feb 2017 10:53:53 -0500
parents
children 815e4eea0e1d
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/deploy.sh	Fri Feb 17 10:53:53 2017 -0500
@@ -0,0 +1,14 @@
+#!/bin/bash
+# this script uploads galaxy tools in the current directory to the galaxy toolsheds
+set -e
+
+CURRENT_DIR=$(dirname $0)
+
+echo "Deploying to Testtoolshed ..."
+planemo shed_update -r --force_repository_creation -t testtoolshed --shed_key_from_env TTS_KEY "$CURRENT_DIR"
+
+echo "Deploying to Toolshed ..."
+planemo shed_update -r --force_repository_creation --shed_key_from_env TS_KEY $CURRENT_DIR
+
+echo "Successfully deployed to toolsheds"
+exit 0