Skip to content

Commit e7c57c3

Browse files
make sure dist file is writable
1 parent 682843e commit e7c57c3

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

generator.sh

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -72,6 +72,12 @@ do
7272
esac
7373

7474
newDist="$distFolder/$distPrefix.$shell"
75+
touch $newDist
76+
if [ ! -w "$newDist" ]; then
77+
echo.Red dist file - "$newDist" is not writable, exit ...
78+
exit 1
79+
fi
80+
7581
echo "#!/usr/bin/env $shell" > $newDist
7682
for color in `cat "$table" | awk '{print $1}'`
7783
do

0 commit comments

Comments
 (0)