Revision e80adb87444cbba927fa6e0accdc8328a76305e2 authored by Nicolas Dandrimont on 06 October 2015, 11:54:01 UTC, committed by Nicolas Dandrimont on 06 October 2015, 12:01:40 UTC
Closes T65 in part
1 parent 5e7fd18
dot_add_content
#!/bin/bash
DOT_FILE="$1"
DOT_EXTRA="$2"
if [ -z "$DOT_FILE" -o -z "$DOT_EXTRA" ] ; then
echo "Usage: $0 DOT_FILE DOT_EXTRA"
exit 1
fi
head -n -1 "$DOT_FILE" # all of $DOT_FILE but last line
cat "$DOT_EXTRA"
echo "}"
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...