[解決済み] eclipse ワークスペース: ワークスペースの名前を変更する方法

質問

ファイルメニューにワークスペースの名前を変更するオプションがありません。 eclipse を終了し、フォルダーの名前を変更し、再度開くことが推奨されるのでしょうか。私は、設定ファイル内の潜在的なぶら下がり参照がワークスペースやプロジェクトを破壊することを心配しています。

ありがとうございます。

どのように解決するのですか？

ソース: ワークスペースの名前を変更しますか？

はい、ワークスペース ディレクトリの名前を変更したり、移動したりすることができます。しかし、その場合 は、新しいワークスペースがどこにあるかを Eclipse に伝える必要があります。 を伝える必要があります。 3.1では、次のように使うことができます。 switch workspace' を使用して、別の場所で起動することができます。 別の場所で起動するために、'switch workspace' を使用できます（[File メニューで）。

手作業で変更したい場合は の適切なエントリを編集することができます。 ファイル内の適切なエントリーを編集することができます。 ディレクトリにあるファイルにある適切なエントリーを編集します。

を変更することができます。 org.eclipse.ui.ide.prefs ファイルを設定してください。 SHOW_WORKSPACE_SELECTION_DIALOG=true を設定します。 を設定することで、Eclipse を実行するたびにワークスペースを尋ねられるようになります。 を true に設定します。