optimize line for large inputs #6

data commented 2026年07月03日 16:05:49 +02:00

sed -n "${lineno}{p;q;}" -- "$@"

compare:

$ time seq 100000000 | sed -n '10p'
10
real 0m5.805s
user 0m5.157s
sys 0m2.521s
$ time seq 100000000 | sed -n '10{p;q;}'
10
real 0m0.017s
user 0m0.001s
sys 0m0.005s

https://codeberg.org/EvanHahn/dotfiles/src/commit/f7a9d94ae2254cb7e5f67e6e5bdb74b6467f6dec/home/bin/bin/line#L6 ``` sed -n "${lineno}{p;q;}" -- "$@" ``` compare: ``` $ time seq 100000000 | sed -n '10p' 10 real 0m5.805s user 0m5.157s sys 0m2.521s $ time seq 100000000 | sed -n '10{p;q;}' 10 real 0m0.017s user 0m0.001s sys 0m0.005s ```

EvanHahn commented 2026年07月04日 00:39:38 +02:00

This is useful. Could we remove that last semicolon in the command block, or is there a difference? So I'd do something like this?

-sed -n "${lineno}p" -- "$@"
+sed -n "${lineno}{p;q}" -- "$@"

It seems the same but I don't know much about sed.

This is useful. Could we remove that last semicolon in the command block, or is there a difference? So I'd do something like this? ```diff -sed -n "${lineno}p" -- "$@" +sed -n "${lineno}{p;q}" -- "$@" ``` It _seems_ the same but I don't know much about `sed`.

data commented 2026年07月04日 08:24:49 +02:00

yes, that's the same

yes, that's the same

EvanHahn commented 2026年07月04日 13:36:15 +02:00

Would you mind making a pull request for this?

If not, I'll do it myself and credit you. But I won't be able to do that for a couple of weeks.

Would you mind making a pull request for this? If not, I'll do it myself and credit you. But I won't be able to do that for a couple of weeks.

data commented 2026年07月12日 17:42:09 +02:00

No credits required, it was just a person is wrong on the internet moment :)

No credits required, it was just a person is wrong on the internet moment :)