2016-09-12 17 views
0

コマンドラインで、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でパッケージを削除するより良い方法はありますか/

答えて

1

File -> Package Managerにアクセスしてパッケージを削除し、2番目のタブ(Currently Installed)をクリックすると、インストールされているすべてのパッケージの一覧が表示されます。削除するパッケージを選択すると、右下隅に削除ボタンが表示されます。そのボタンをクリックすると、パッケージはシステムから削除されます。

ここには、現在インストールされているパッケージの一覧が表示され、削除ボタンが強調表示されています。

enter image description here

関連する問題