mirror of
https://github.com/TREX-CoE/trexio.git
synced 2024-12-23 04:43:57 +01:00
better fix
This commit is contained in:
parent
22a87a6a55
commit
4cf1d966d0
@ -17,14 +17,14 @@ mkdir -p templates_hdf5/populated
|
|||||||
# not options. It is safer.
|
# not options. It is safer.
|
||||||
|
|
||||||
echo "remove existing templates"
|
echo "remove existing templates"
|
||||||
rm -- templates_front/*.{c,h} || true
|
rm -f -- templates_front/*.{c,h}
|
||||||
rm -- templates_text/*.{c,h} || true
|
rm -f -- templates_text/*.{c,h}
|
||||||
rm -- templates_hdf5/*.{c,h} || true
|
rm -f -- templates_hdf5/*.{c,h}
|
||||||
|
|
||||||
echo "clean populated directories"
|
echo "clean populated directories"
|
||||||
rm -- templates_front/populated/* || true
|
rm -f -- templates_front/populated/*
|
||||||
rm -- templates_text/populated/* || true
|
rm -f -- templates_text/populated/*
|
||||||
rm -- templates_hdf5/populated/* || true
|
rm -f -- templates_hdf5/populated/*
|
||||||
|
|
||||||
echo "tangle org files to generate templates"
|
echo "tangle org files to generate templates"
|
||||||
cd templates_front
|
cd templates_front
|
||||||
|
Loading…
Reference in New Issue
Block a user