Thank you! But... from that article I deduct that I need to open Terminal, do "sudo apt install gnome-shell-extension-prefs" then "gnome-shell-extension-prefs" and there I have to "Look down the list for "Launch new instance"." But I can't find any list in gnome-shell-extension-prefs.
And by the way: I get this message in Terminal: $ gnome-shell-extension-prefs gnome-shell-extension-prefs is deprecated Install https://flathub.org/apps/details/org.gnome.Extensions for extension management, or use the gnome-extensions command line tool. Extensions can use the ExtensionUtils.openPrefs() method. Then I found this article on how to install it: https://linuxconfig.org/how-to-install-gnome-shell-extensions-on-ubuntu-20-04-focal-fossa-linux-desktop But that results in this in Terminal: $ sudo apt install gnome-shell-extension Reading package lists... Done Building dependency tree Reading state information... Done E: Unable to locate package gnome-shell-extension So I don't really understand the answer you refer to. On Tuesday, 8 September 2020 at 07:43:59 UTC+2 Gengis Dave wrote: > On lunedì 7 settembre 2020 23:46:47 CEST henrik.r...@gmail.com wrote: > > OK. I discovered a work-around: > > When you press the windows key and type 'kru', you right-click on the > > Krusader icon and choose New Window. But I would prefer to just press > > <enter>. > > Hi Henrik, > > check this article (the second answer): > > > https://askubuntu.com/questions/1188384/gnome-terminal-open-new-window-instead-of-finding-the-existing-one > > if it doesn't work, with Krusader open, launch a second one from the > Terminal too see what happens. > > Davide > > > -- You received this message because you are subscribed to the Google Groups "krusader-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to krusader-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/krusader-users/efc38022-119f-4039-b518-d4b49c1413dan%40googlegroups.com.
