コマンドラインで、raco pkg
でパッケージを追加したり削除したりできます。ただし、DrRacketでは、パッケージのインストールはFile -> Install Package
(パッケージのインストールのみの場合)またはFile -> Package Manager
(パッケージのインストール、インストールされたパッケージのリストの取得など)のいずれかを使用して処理されます。DrRacketからパッケージを削除する
残念ながら、このダイアログにはパッケージを削除するタグはありません。 DrRacketからパッケージを削除することが可能である、またはそれはとして実行する必要があります。
raco pkg remove <package-name>
明らか
、私はfind-exe
を使用してラケットの中から間接的にそれを行うことができます。
#lang racket
(require compiler/find-exe)
(system* "-l" "raco" "remove" "<package-name>")
しかし、これは不格好と思われます。 DrRacketでパッケージを削除するより良い方法はありますか/