teutat3s 10a9f1c0b0 bash: increase history size, ignore duplicates		2024-04-15 13:22:24 +02:00
..
default.nix	bash: increase history size, ignore duplicates	2024-04-15 13:22:24 +02:00