symtern 0.1.0

Fast general-purpose interners for every use case
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

#!/bin/sh

HEADER_FILE="$(dirname $0)/data/license-header.rs"

if test $# -lt 1; then
    echo "Usage: $0 FILE..." > /dev/stderr
    exit 1
fi

for FILE in "$@"; do
    cat "$HEADER_FILE" "$FILE" > "$FILE.new" \
        && mv "$FILE.new" "$FILE"
done