Skip to content
Snippets Groups Projects
make_mobile_zip_from_geo_files.sh 872 B
Newer Older
#!/bin/sh

if [ $# -lt 1 ]; then
  echo "Usage: $0 file1.geo file2.geo ..." 1>&2;
  exit 1;
fi

Christophe Geuzaine's avatar
Christophe Geuzaine committed
name=demos_boolean

Christophe Geuzaine's avatar
Christophe Geuzaine committed
rm -rf ${name}
mkdir ${name}
Christophe Geuzaine's avatar
Christophe Geuzaine committed
cp *.step ${name}/
cat <<EOT >> ${name}/infos.xml
<?xml version="1.0" encoding="utf-8"?>
<models>
EOT

for file in $files ; do
Christophe Geuzaine's avatar
Christophe Geuzaine committed
    cp $file ${name}/
    echo "<model>" >> ${name}/infos.xml
    echo "<title>$file</title>" >> ${name}/infos.xml
    echo "<summary>$file</summary>" >> ${name}/infos.xml
    echo "<file type=\"geo\">$file</file>" >> ${name}/infos.xml
    echo "</model>" >> ${name}/infos.xml
    cat <<EOT > ${name}/${file%.geo}.pro
DefineConstant[
  R_ = {"", Name "GetDP/1ResolutionChoices", Visible 0},
  C_ = {"", Name "GetDP/9ComputeCommand", Visible 0},
  P_ = {"", Name "GetDP/2PostOperationChoices", Visible 0}
];
EOT
done

Christophe Geuzaine's avatar
Christophe Geuzaine committed
cat <<EOT >> ${name}/infos.xml
Christophe Geuzaine's avatar
Christophe Geuzaine committed
zip -r ${name}.zip ${name}