Dateien außerhalb der Workbench bearbeiten

So bearbeiten Sie eine Workbench-Ressource außerhalb der Workbench:

  1. Navigieren Sie im Dateisystem auf das Installationsverzeichnis der Workbench. Wechseln Sie in das Arbeitsbereichsverzeichnis, und öffnen Sie die Datei, die Sie bearbeiten wollen, mit dem externen Editor.
  2. Bearbeiten Sie die Datei wie gewünscht. Speichern und schließen Sie die Datei.
  3. Wichtig: Wechseln Sie zurück in die Workbench, klicken Sie mit der rechten Maustaste auf die bearbeitete Datei in einer der Navigationssichten, und wählen Sie im Kontextmenü Aktualisieren aus. Die Workbench führt alle erforderlichen Erstellungs- und Aktualisierungsoperationen aus, um die außerhalb der Workbench vorgenommenen Änderungen zu verarbeiten.

Tipp: Wenn Sie regelmäßig mit externen Editoren arbeiten, kann es sinnvoll sein, die automatische Aktualisierung zu aktivieren. Hierzu öffnen Sie die Benutzervorgabenseite Allgemein > Arbeitsbereich und wählen die Option Automatisch aktualisieren aus. Wenn diese Option aktiviert worden ist, werden alle externen Änderungen automatisch durch die Workbench erkannt. Je nach der Plattform kann dies aber nicht unverzüglich geschehen.

Verwandte Konzepte
Editoren
Externe Editoren

Verwandte Tasks
Dateien zum Bearbeiten öffnen
Editoren und Dateitypen zuordnen