Revision 2df6d15e07c395a93cab9efafc2ac3441b1605d8 authored by Philippe Wang on 14 November 2023, 22:45:28 UTC, committed by Philippe Wang on 28 November 2023, 21:25:26 UTC
1 parent 52685a7
restore-old-protocols.sh
#!/bin/sh
set -eu
usage() {
echo "Usage: $0 <protocol-trashbin>"
echo "Restores the protocols stored in <protocol-trashbin>."
echo "This reverses the effect of 'scripts/remove-old-protocols.sh <protocol-trashbin>'"
exit 1
}
trash_bin=""
if [ -n "${1:-}" ] && [ "${1:-}" != "--help" ]; then
trash_bin=$1
else
usage
fi
for protocol in "$trash_bin"/*; do
echo mv "$protocol" src
mv "$protocol" src
done
Computing file changes ...