Skip to main content

Browse the archive

Revision 60b977cdbbd0968f85bfb2f0b13de1e1315a57df authored by Romain Bardou on 13 January 2020, 16:23:14 UTC, committed by Benjamin Canou on 17 February 2020, 10:35:40 UTC 
Node: print network name on startup
1 parent f29e2ff
Raw File
opam-unpin.sh 
#! /bin/sh

set -e

script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")"
src_dir="$(dirname "$script_dir")"

. "$script_dir"/opam-remove.sh

echo
echo "## Unpinning tezos packages..."

opam pin remove $packages > /dev/null 2>&1
back to top