bash: ignore leading space + duplicates in history #280

Merged
teutat3s merged 1 commit from bash-ignore-space into main 2024-12-10 11:07:55 +00:00

1 commit

Author SHA1 Message Date
teutat3s 386f2b2ba5
bash: ignore leading space + duplicates in history
All checks were successful
Flake checks / Check (pull_request) Successful in 28m23s
2024-12-09 18:49:58 +01:00