mai 07

[Eclipse] Modifier la liste des workspaces

Catégorie(s): DéveloppementSébastien @ 19:08

Mise à jour avec une méthode encore plus simple : [MàJ] [Eclipse] Modifier la liste des workspaces

A jongler avec les dossiers, j’ai fait le boulet dans la sélection d’un workspace qui n’existait pas. Le soucis c’est qu’il est resté apparent dans la liste de ceux que j’ai utilisé dernièrement et dans les choix pour le switch. Je l’aurai bien laissé s’il avait pas quasi le même chemin que mon workspace principal et que je me plantais pas de temps en temps…

Donc comment modifier la liste des workspaces pour le supprimer ?

Easy ! Il faut se rendre dans le dossier « ECLIPSE_HOME/configuration/.settings/ » puis d’éditer le fichier « org.eclipse.ui.ide.prefs » (pensez à faire une sauvegarde avant !) avec son éditeur de texte préféré. Vous devriez avoir quelque chose dans le genre :

#Thu May 07 10:41:39 CEST 2009
RECENT_WORKSPACES_PROTOCOL=3
MAX_RECENT_WORKSPACES=5
SHOW_WORKSPACE_SELECTION_DIALOG=true
eclipse.preferences.version=1
RECENT_WORKSPACES=C\:\\Users\\seb\\workspace\nC\:\\Tomcat\\webapps\nC\:\\Users\\seb\\workspaceB

La liste des workspaces se trouve sur la ligne RECENT_WORKSPACES. Il suffit de supprimer celui qui me posait problème et hop, il me reste que les deux qui m’intéressent ! Notez que les chemins sont séparés par des « \n » et que les caractères spéciaux ( « : », « \ ») sont échappés ( « \: », « \\ »).

Aucun article à afficher.

2 Responses to “[Eclipse] Modifier la liste des workspaces”

  1. Mimidou_64

    Je n’arrive pas à trouver ce fichier sur Mac…
    Est ce que quelqu’un l’a trouvé ?

  2. Sébastien

    Je ne sais pas où est ce fichier sur Mac. En revanche j’ai découvert une manière plus simple de supprimer des worskspace :

    Window > Preferences > General > Startup and Shutdown > Workspace.

    Dans cette fenêtre on peut activer/désactiver la sélection du workspace au lancement d’Eclipse (utile par exemple si on coche la case pour plus l’afficher), définir le nombre de WS à conserver dans l’historique et enfin supprimer des WS de l’historique. Plus besoin de s’ennuyer à éditer manuellement un fichier de config.

    Je vais mettre à jour l’article tient. :)

Laisser un commentaire