@sonny @tbernard I've always wanted a way to select different programs to open by selecting the file name on the terminal. So I wrote an imperfect gnome extension before. I really hope the official can realize this function.

extensions.gnome.org/extension