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. |