[Trisquel-users] Re : change default file manager in gnome shell

[lcerf]

What command does the keyboard shortcut execute? Isn't the extension  
configurable (from http://extensions.gnome.org or from the "Tweak Tool" in  
the "System Settings")?