swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
Raw File
Tip revision: 19c3dafaa0b7f16a8eb70c4e576a125c7268d9e5 authored by Thomas Letan on 07 April 2022, 11:25:30 UTC
Proto,tx_rollup: Propose the final constants value for mainnet
Tip revision: 19c3daf
opam-remove.sh
#!/bin/sh

set -e

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

opams=$(find "$src_dir" -name \*.opam)
packages=

for opam in $opams; do
    dir=$(dirname $opam)
    file=$(basename $opam)
    package=${file%.opam}
    packages="$packages $package"
done

installed=$(opam list --short --installed --pinned $packages)

opam remove $installed
back to top