diff export_to_cluster.py @ 3:9838eed606ad draft default tip

planemo upload for repository https://github.com/TGAC/earlham-galaxytools/tree/master/tools/export_to_cluster/ commit 68b62fd9a9d5586ccd539779873af17124b7dbb5
author earlhaminst
date Wed, 09 May 2018 05:52:40 -0400
parents b97775e9fe06
children
line wrap: on
line diff
--- a/export_to_cluster.py	Fri Mar 24 12:20:48 2017 -0400
+++ b/export_to_cluster.py	Wed May 09 05:52:40 2018 -0400
@@ -24,11 +24,11 @@
 real_export_dir = os.path.realpath(options.export_dir)
 dir_prefix = options.dir_prefix.rstrip(os.sep)
 if not real_export_dir.startswith(dir_prefix):
-    raise Exception("%s must be a subdirectory of %s" % (options.export_dir, dir_prefix))
+    raise Exception("'%s' must be a subdirectory of '%s'" % (options.export_dir, dir_prefix))
 if not os.path.exists(real_export_dir):
-    raise Exception("%s does not exist or it is not accessible by the Galaxy user" % options.export_dir)
+    raise Exception("'%s' directory does not exist or it is not accessible by the Galaxy user" % options.export_dir)
 if not os.path.isdir(real_export_dir):
-    raise Exception("%s is not a directory" % options.export_dir)
+    raise Exception("'%s' is not a directory" % options.export_dir)
 
 dataset_paths = args[::3]
 dataset_names = args[1::3]