Modifica di file esternamente

Per modificare un file del workbench all'esterno del workbench, effettuare le seguenti operazioni.

1.

Ricercare nel file system la directory di installazione del workbench. Entrare nella directory dell'area di lavoro e aprire il file in un editor esterno.

2.

Modificare il file.

3.

Una volta completata la modifica, salvare il file nell'editor esterno e chiuderlo.

4. Nel menu di scelta rapida del Navigator, scegliere Aggiorna da locale. In questo modo il workbench controllerà il file system locale alla ricerca di modifiche apportate a sua insaputa.

È importante utilizzare Aggiorna da locale poiché, se il workbench rileva modifiche al file system locale, eseguirà qualsiasi operazione di "build/aggiornamento" necessaria per elaborare le modifiche.