https://gitlab.com/tezos/tezos
Raw File
Tip revision: 2d961b7548c6fd8c7b18203c5ec3053656a7d922 authored by martoon on 06 September 2023, 17:58:40 UTC
MIR: Add initial docs on building
Tip revision: 2d961b7
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