Same, I love the idea but the editor needs a bit of work. Moving dots, deleting dots and dragging to create new lines would be nice.
On the other hand I do like that it is low resolution so one is limited from trying to add lots of details.
138 karma · joined September 16, 2024
On the other hand I do like that it is low resolution so one is limited from trying to add lots of details.
Also, not sure if this is by default or it picked it up from my old iTerm2 configuration, but cmd+shift+up/down navigates through prompt lines so it's easy to find the start of a long command. My PS1 in zsh is:
PS1='%1~ %F{green}»%f 'The code already had `host = ri.netloc.split(':')[0]` before that.
The actual root issue is urlparse doesn't split the host, user, pass and port and trying to do it manually is very error prone:
urllib.parse.urlparse('http://example.com:@evil.com:8080/')
ParseResult(scheme='http', netloc='example.com:@evil.com:8080', path='/', params='', query='', fragment='')
Compare this with php: parse_url ('http://example.com:@evil.com:8080/')
[
"scheme" => "http",
"host" => "evil.com",
"port" => 8080,
"user" => "example.com",
"pass" => "",
"path" => "/",
]Sounds like a use-case for property testing: https://en.wikipedia.org/wiki/Software_testing#Property_test...
[0] https://newrepublic.com/post/190464/did-elon-musk-nazi-salut...