skripty/_připrav.sh
author František Kučera <franta-hg@frantovo.cz>
Tue, 28 May 2019 21:18:20 +0200
branchv_0
changeset 258 2868d772c27e
parent 130 94339837c42d
permissions -rwxr-xr-x
Release v0.12 – AWK
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
130
94339837c42d ant: spouštění volitelného skriptu (připrav.sh) před generováním
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     1
#!/bin/bash
94339837c42d ant: spouštění volitelného skriptu (připrav.sh) před generováním
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     2
94339837c42d ant: spouštění volitelného skriptu (připrav.sh) před generováním
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     3
SKRIPT=`dirname $0`/připrav.sh
94339837c42d ant: spouštění volitelného skriptu (připrav.sh) před generováním
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     4
94339837c42d ant: spouštění volitelného skriptu (připrav.sh) před generováním
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     5
if [ -f $SKRIPT ]; then
94339837c42d ant: spouštění volitelného skriptu (připrav.sh) před generováním
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     6
    $SKRIPT;
94339837c42d ant: spouštění volitelného skriptu (připrav.sh) před generováním
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     7
fi