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 |