mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-10-13 00:44:55 +08:00
40 lines
1.2 KiB
Bash
Executable File
40 lines
1.2 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
SAMPLES="
|
|
tool_shed_wsgi.ini.sample
|
|
datatypes_conf.xml.sample
|
|
external_service_types_conf.xml.sample
|
|
migrated_tools_conf.xml.sample
|
|
reports_wsgi.ini.sample
|
|
shed_tool_conf.xml.sample
|
|
tool_conf.xml.sample
|
|
shed_tool_data_table_conf.xml.sample
|
|
tool_data_table_conf.xml.sample
|
|
tool_sheds_conf.xml.sample
|
|
data_manager_conf.xml.sample
|
|
shed_data_manager_conf.xml.sample
|
|
openid_conf.xml.sample
|
|
job_metrics_conf.xml.sample
|
|
universe_wsgi.ini.sample
|
|
lib/tool_shed/scripts/bootstrap_tool_shed/user_info.xml.sample
|
|
tool-data/shared/ncbi/builds.txt.sample
|
|
tool-data/shared/ensembl/builds.txt.sample
|
|
tool-data/shared/ucsc/builds.txt.sample
|
|
tool-data/shared/ucsc/publicbuilds.txt.sample
|
|
tool-data/shared/ucsc/ucsc_build_sites.txt.sample
|
|
tool-data/shared/igv/igv_build_sites.txt.sample
|
|
tool-data/shared/rviewer/rviewer_build_sites.txt.sample
|
|
tool-data/*.sample
|
|
static/welcome.html.sample
|
|
"
|
|
|
|
# Create any missing config/location files
|
|
for sample in $SAMPLES; do
|
|
file=${sample%.sample}
|
|
if [ ! -f "$file" -a -f "$sample" ]; then
|
|
echo "Initializing $file from `basename $sample`"
|
|
cp $sample $file
|
|
fi
|
|
done
|
|
|