dotfiles

Files

Otherwise closing kitty takes forever on my system:

    > kitty -1 --instance-group no -o close_on_child_death=no &
    > kitty -1 --instance-group yes -o close_on_child_death=yes &
    > kitty_cmd="kitty -1 \
                       --wait-for-single-instance-window-close \
                       --instance-group"
    > zsh_cmd="zsh -ic exit"
    > hyperfine -N "$kitty_cmd no $zsh_cmd" \
                   "$kitty_cmd yes $zsh_cmd" \
                   "st -e $zsh_cmd"

    Benchmark 1: kitty -1 \
                --wait-for-single-instance-window-close \
                --instance-group no zsh -ic exit
      Time (mean ± σ):      5.543 s ±  0.023 s    [User: 0.002 s, System: 0.005 s]
      Range (min … max):    5.486 s …  5.570 s    10 runs

    Benchmark 2: kitty -1 \
                --wait-for-single-instance-window-close \
                --instance-group yes zsh -ic exit
      Time (mean ± σ):     509.9 ms ±  29.4 ms    [User: 1.0 ms, System: 2.2 ms]
      Range (min … max):   480.9 ms … 560.1 ms    10 runs

    Benchmark 3: st -e zsh -ic exit
      Time (mean ± σ):     475.0 ms ±  12.6 ms    [User: 304.3 ms, System: 171.5 ms]
      Range (min … max):   455.6 ms … 495.7 ms    10 runs

    Summary
      st -e zsh -ic exit ran
        1.07 ± 0.07 times faster than kitty -1 \
                --wait-for-single-instance-window-close \
                --instance-group yes zsh -ic exit
       11.67 ± 0.31 times faster than kitty -1 \
                --wait-for-single-instance-window-close \
                --instance-group no zsh -ic exit

Link: https://github.com/kovidgoyal/kitty/issues/378
TODO: Could the 500ms be decreased? (zsh related)

2025-05-22 16:32:59 +02:00

bash

bash: Increase history file size

2023-12-01 03:43:06 +01:00

bat

bat: Initial commit

2020-12-28 03:09:02 +01:00

clangd

clangd: Add config that removes {,machine-}options

2025-03-03 15:43:31 +01:00

dircolors

dircolors: Use a non-system color for DIR