top | item 45835989 (no title) ishouldbework | 3 months ago Huh, I had no idea the <profile> argument to -P is optional (--help does not say), I was always using --ProfileManager instead. Nice quality of life improvement, thanks for the information! discuss order hn newest agumonkey|3 months ago ah well, ironically I had no idea that -P could take a profile-name arg.. I always used it without to trigger the gui .. so I return the thanks
agumonkey|3 months ago ah well, ironically I had no idea that -P could take a profile-name arg.. I always used it without to trigger the gui .. so I return the thanks
agumonkey|3 months ago