swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
Raw File
Tip revision: c85e4bef4a0177baad5e8169f2e6011f84b89f2c authored by Ole Krüger on 12 March 2024, 12:08:42 UTC
RISC-V: RV64A instructions
Tip revision: c85e4be
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
back to top