swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
Raw File
Tip revision: a5a4302dd68c1256635959d2d5e6b79f9d0f86ac authored by François Thiré on 29 April 2022, 17:26:53 UTC
Plugin/DAS: Implement RPCs
Tip revision: a5a4302
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