Skip to main content

Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.

Jump to: navigation, search

Difference between revisions of "Linux Tools Project/News/NewIn50"

(Editing connection settings)
Line 27: Line 27:
  
 
A new wizard lets the user edit the connection name and settings. This is particularly useful when the connection targets a Docker Machine whose IP address changed upon restart.
 
A new wizard lets the user edit the connection name and settings. This is particularly useful when the connection targets a Docker Machine whose IP address changed upon restart.
 +
 +
[[File:docker-edit-connection.png]]

Revision as of 14:35, 17 June 2016

Docker Tooling

Dockerfile Editor

This is an external contribution, brought by Tobias Verbeke and his team from Open Analytics. The Dockerfile Editor provides users with content assist on the commands (ADD, COPY, RUN, etc.) as well as a customizable syntax highlighting.

Dockerfile-editor.png

Executing shell in a container

When running a container, users can execute shell commands from the Terminal view.

Docker-exec-shell.png

Running privileged containers

Containers can be run with the --privileged flag, which gives them extended privileges, such as accessing all devices, and allowing them nearly all the same access to the host as regular processes running on the host (i.e., not in containers).

Docker-privileged-option.png

Supporting disconnections

Sometimes the Docker instances that were configured in Eclipse are not running anymore (the Docker Machine were stopped, for example). In that case, the Docker Explorer view will display a different decorator for those connections, and an "Enable connection" button in the toolbar will let the user reconnect.

Docker-disabled-connection.png

Editing connection settings

A new wizard lets the user edit the connection name and settings. This is particularly useful when the connection targets a Docker Machine whose IP address changed upon restart.

Docker-edit-connection.png

Back to the top