Revision 1491675ea91be2696eb9b3a0574c91ea62df075d authored by Grégoire Henry on 14 February 2019, 10:35:22 UTC, committed by Pierre Boutillier on 16 April 2019, 15:38:33 UTC
1 parent af5ed9c
Raw File
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