Re: unsettling settings: "Videos" launches instead of "VLC".

2023-01-18 Thread home user
On 1/18/23 11:59 AM, Tom Horsley wrote: On Wed, 18 Jan 2023 11:51:36 -0700 home user wrote: The string "Videos" was not found anywhere in what the "mimes" website mentioned. Videos is just the name the .desktop file for the application says to call it so you won't know the actual name :-).

Re: unsettling settings: "Videos" launches instead of "VLC". [SOLVED]

2023-01-18 Thread home user
On 1/18/23 11:43 AM, Samuel Sieb wrote: On 1/18/23 08:05, home user wrote: not a professional sys. admin. f36; Linux 6.0.18; gnome 42.2 last patched ("dnf upgrade") Thursday, Jan. 12 Good morning, When I put a commercial video DVD into my tower's disc player, gnome launches "Videos".  But in t

Re: unsettling settings: "Videos" launches instead of "VLC".

2023-01-18 Thread Tom Horsley
On Wed, 18 Jan 2023 11:51:36 -0700 home user wrote: > The string "Videos" was not found anywhere in what the "mimes" website > mentioned. Videos is just the name the .desktop file for the application says to call it so you won't know the actual name :-). Poking around in my /usr/share/applicati

Re: unsettling settings: "Videos" launches instead of "VLC".

2023-01-18 Thread home user
On 1/18/23 9:23 AM, Tom Horsley wrote: On Wed, 18 Jan 2023 09:05:38 -0700 home user wrote: Thank-you in advance. Definitely don't thank me, but this page I wrote up long ago might be a place to start increasing your confusion enough to be sure you'll never understand how to get it to do what

Re: unsettling settings: "Videos" launches instead of "VLC".

2023-01-18 Thread Samuel Sieb
On 1/18/23 08:05, home user wrote: not a professional sys. admin. f36; Linux 6.0.18; gnome 42.2 last patched ("dnf upgrade") Thursday, Jan. 12 Good morning, When I put a commercial video DVD into my tower's disc player, gnome launches "Videos".  But in the gnome "Settings" tool, it's set to la

Re: unsettling settings: "Videos" launches instead of "VLC".

2023-01-18 Thread Tom Horsley
On Wed, 18 Jan 2023 09:05:38 -0700 home user wrote: > Thank-you in advance. Definitely don't thank me, but this page I wrote up long ago might be a place to start increasing your confusion enough to be sure you'll never understand how to get it to do what you want :-). https://tomhorsley.com/gam

unsettling settings: "Videos" launches instead of "VLC".

2023-01-18 Thread home user
not a professional sys. admin. f36; Linux 6.0.18; gnome 42.2 last patched ("dnf upgrade") Thursday, Jan. 12 Good morning, When I put a commercial video DVD into my tower's disc player, gnome launches "Videos".  But in the gnome "Settings" tool, it's set to launch "VLC media player" for videos.