17:40:35 Hello :-) is there an easy option to mirror https://us-central.manta.mnx.io/Joyent_Dev/public/SmartOS/smartos.html ? Could that be possible via manta tools without any login? 17:45:12 If it's in `public`, you should be able to use mls/mget/etc. to mirror. You'll likely need to modify smartos.html for your local mirror. 18:37:03 I need to admit I'm not really good with the manta tools, but isn't a MANTA_USER and MANTA_KEY_ID always required? 18:42:38 Shoot, for the manta commands you're right. 18:43:29 But you can do things like: curl https://us-central.manta.mnx.io/Joyent_Dev/public/SmartOS 18:43:33 and parse the output. 18:44:29 DAMN, that's only useful for directories, isn't it. 18:44:55 (like you only get a directory names in the output, not files) 18:45:11 yes but I can parse and loop over it and loop again over the directory itself 18:45:23 curl https://us-central.manta.mnx.io/Joyent_Dev/public/SmartOS/20190925T185257Z and continue ;-) 18:45:59 Oh that's right it's paginated... probably some REST primitive will get you more on the top-level. 18:47:04 https://gist.github.com/wiedi/3fa957d46c0cc29301202e8d05735477 18:47:35 Oooh, thanks @wiedi 18:47:38 thanks :-p (it's not like we sitting in the same room) :P 18:47:58 just rememberd I had something like this in the past :D 23:23:08 I am still getting "curl: (6) Could not resolve host: 20250904T002931Z" on piadm install. Is this a bug or. ?