gnome-shell-extension-docker icon indicating copy to clipboard operation
gnome-shell-extension-docker copied to clipboard

Published 20 hours ago • verified publisher icon gpouilloux

Implement preference dialog to configure used terminal when opening a shell

Open gpouilloux opened this issue 4 years ago • 0 comments

See https://github.com/gpouilloux/gnome-shell-extension-docker/pull/48#discussion_r422214897

Opening a shell inside a running container is not using gnome-terminal as it is hardcoded within this extension. We could let users choose which tool they want to use, it'd require implementing preferences within this extension & have a proper dialog to control them.

gpouilloux avatar May 09 '20 16:05 gpouilloux