mattia 03d5fe5b1c bashrc.cust: Set custom history control ...

* ignoredups: ignore duplicate commands
* ignorespace: ignore commands beginning with a space

2021-08-11 15:12:59 +02:00

1.1 KiB

Raw Blame History

View Raw