Closed Esteban82 closed 10 months ago
Grep for PLANET and planet in scripts/*.sh. I have solved that elsewhere
This ? planet=$(echo ${dataset} | awk -F_ '{print $1}')
Is it possible that I have to add a "/" at the end of the first path here?
rsync -al /export/gmtserver/gmt/candidate/server/mars_relief /export/gmtserver/gmt/data/server/mars_relief
If you add a slash, rsync will copy the contents of the directory. No slash will copy the directory (with the content).
A slash basically means dir/*
.
Ok. I think that explains why I got server/earth/earth_synbath/earth_synbath/*
.
And I think adding a slash does make sense. Why would you want a directory named mars_relief inside a directory named mars_relief.. if you’re not into that.
@PaulWessel I run:
make server-release
withmars_relief
(as suggested by the text in the terminal).In the first command of
/tmp/release.sh
, the names of both paths are wrong.They have to include the name of the planet:
Solution
I think I can fix it.
I am thinking on editing the script. I can add a command that creates the variable
{PLANET}
from{DATASET}
. Let me know if you are ok with this solution. Or let me know how would you like me to do it.