# HG changeset patch # User alermine # Date 1339163238 14400 # Node ID 6b590f108b48c184b6ad5162ed72fbe360600453 Uploaded diff -r 000000000000 -r 6b590f108b48 upload_local_file/upload_local_file.sh --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/upload_local_file/upload_local_file.sh Fri Jun 08 09:47:18 2012 -0400 @@ -0,0 +1,21 @@ +#!/bin/bash + +################################################################################################# +# Upload_local_file tool for Galaxy # +# Allow users to add data in their histories whitout having to upload them through the network # +# - Script by Alban Lermine, Institut Curie 2012 - # +################################################################################################# + + +while getopts "b:o:" optionName; do +case "$optionName" in + +b) INPUT_FILE="$OPTARG";; +o) DATASET="$OPTARG";; + +esac +done + +rm $DATASET + +ln -s $INPUT_FILE $DATASET diff -r 000000000000 -r 6b590f108b48 upload_local_file/upload_local_file.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/upload_local_file/upload_local_file.xml Fri Jun 08 09:47:18 2012 -0400 @@ -0,0 +1,64 @@ + + to current History + upload_local_file.sh -b $file -o $out + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +.. class:: infomark + +**What it does:** + +This tool allows users to add data in their histories whitout having to upload them through the network. + +------ + +**Input:** + +You must provide a filename whitout the extension (which is provide by file type) and the path to the data on the server. If you don't find the extension of your file, don't panic, just upload it with the text extension, and then search for the good format by clicking on the pencil on the dataset created. + +**Output:** + +Create the galaxy dataset corresponding to your file on servers. + +.. class:: infomark + +**Feedback**: alban.lermine@curie.fr + +