view deploy/linux/generate-qrc @ 53:c1e5e3f02e48

Update some RDF; make checkboxes be checked by default
author Chris Cannam
date Mon, 03 Feb 2020 14:43:46 +0000
parents 3466e0d1393c
children 38cd115c91d4
line wrap: on
line source
#!/bin/bash
qrc="$1"
if [ ! -f "$qrc".in ]; then
    echo "Input file $qrc.in not found"
    exit 2
fi
set -eu
cat "$qrc".in | sed 's/@SUFFIX@/so/g' > "$qrc"