Keyboard Shortcuts
ctrl + shift + ? :
Show all keyboard shortcuts
ctrl + g :
Navigate to a group
ctrl + shift + f :
Find
ctrl + / :
Quick actions
esc to dismiss
Likes
Search
[cats-users] Command Line Options...
OK, it seems you have to somehow "know" the magic hex identifier tacked onto
the profile name in order for the -p option to work (this means digging into the profiles.xml file to find it). Arg... Firefox does something simular: prefixes profile names with a unique id string, BUT the firefox -P option does not expect the user to know this unique id string, instead it using a matching process. At Mon, 21 Apr 2025 12:18:33 -0400 "Bob Jacobsen via groups.io" <rgj1927@...> wrote: -- Robert Heller -- Cell: 413-658-7953 GV: 978-633-5364 Deepwoods Software -- Custom Software Services -- Linux Administration Services heller@... -- Webhosting Services |
At Mon, 21 Apr 2025 13:13:08 -0400 "Bob Jacobsen via groups.io" <rgj1927@...> wrote:
Yes, this works, but I am thinking it *should* be possible for JMRI to figureOn Apr 21, 2025, at 1:06â¯PM, Robert Heller via groups.io <hellere[email protected]> wrote:No, you can use the path to the profile directory if you don't have the profile ID. C.f. the quoted documentation. this out and allow a "simplified profile ID" on the command line. Firefox (for example) manages to do this. So, it should be doable in JMRI. The GUI uses the simplified profile ID, which would be the "obvious" thing to use on the command line, but appearently not. Which is counter intutitive. -- Robert Heller -- Cell: 413-658-7953 GV: 978-633-5364 Deepwoods Software -- Custom Software Services -- Linux Administration Services heller@... -- Webhosting Services |
Yes, the profile selector uses the "user name". The hex value makes the profile name unique. Dave Sand ----- Original message ----- From: "Robert Heller via groups.io" <heller=[email protected]> Subject: Re: [jmriusers] [cats-users] Command Line Options... Date: Monday, April 21, 2025 12:40 PM At Mon, 21 Apr 2025 13:13:08 -0400 "Bob Jacobsen via groups.io" <rgj1927=[email protected]> wrote: > > > > On Apr 21, 2025, at 1:06������PM, Robert Heller via groups.io <heller�[email protected]> wrote: > > > > OK, it seems you have to somehow "know" the magic hex identifier tacked onto > > the profile name in order for the -p option to work (this means digging into > > the profiles.xml file to find it). Arg... > > No, you can use the path to the profile directory if you don't have the profile ID. C.f. the quoted documentation. > > If you still want the profile ID, you can get it from the messages emitted when you start JMRI: > &; [java] 13:07:24,492 apps.Apps INFO - Starting with profile Dispatch_Work_in_Progress.3f79267a [main] > > Bob Yes, this works, but I am thinking it *should* be possible for JMRI to figure this out and allow a "simplified profile ID" on the command line. Firefox (for example) manages to do this. So, it should be doable in JMRI. The GUI uses the simplified profile ID, which would be the "obvious" thing to use on the command line, but appearently not. Which is counter intutitive. > > > ������ > Bob Jacobsen > > > > > > &; > > > > -- Robert Heller -- Cell: 413-658-7953 GV: 978-633-5364 Deepwoods Software -- Custom Software Services -- Linux Administration Services heller@... -- Webhosting Services |
to navigate to use esc to dismiss