|
|
3c2dd0332e
|
bashrc.cust: Show full host name
|
2024-08-12 19:09:27 +02:00 |
|
|
|
0f98686a65
|
bashrc: Merge-in new system file
|
2024-07-25 11:00:12 +02:00 |
|
|
|
89579e1ab9
|
bashrc: Update interactive shell detection condition
Bash manual defines a shell as interactive if "$PS1" is set, there's no need to check it against a specific string.
|
2024-02-24 16:28:19 +01:00 |
|
|
|
f3eb69f3b2
|
bashrc.cust: Update 'ls' aliases
|
2023-01-01 00:05:14 +01:00 |
|
|
|
de97bb6bf4
|
bashrc: Merge-in new system file
|
2022-08-16 14:18:25 +02:00 |
|
|
|
a2a1ec8c15
|
bashrc: Merge-in new system file
|
2022-05-28 17:50:18 +02:00 |
|
|
|
16499b2922
|
bashrc.cust: Add 'man' alias
Use 'bat' as pager for manuals.
|
2021-08-11 15:24:40 +02:00 |
|
|
|
fe9163b2fd
|
bashrc.cust: Add 'findstring' function
|
2021-08-11 15:13:49 +02:00 |
|
|
|
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 |
|
|
|
9c52079165
|
bashrc.cust: Add 'getalias' function
|
2021-08-11 14:52:05 +02:00 |
|
|
|
eb60b3bec6
|
bashrc.cust: Add 'cust-error' function
This is a general error that will be used in other functions.
|
2021-08-11 14:50:40 +02:00 |
|
|
|
c0d7b4ee06
|
bashrc.cust: Add some aliases
|
2021-08-11 14:47:09 +02:00 |
|
|
|
769566082d
|
bashrc.cust: Disable 'less' history
|
2021-08-11 14:43:50 +02:00 |
|
|
|
7b8b161fee
|
bashrc.cust: Don't exit if any background job is running
|
2021-08-11 14:43:13 +02:00 |
|
|
|
59bdefa15f
|
bashrc.cust: Enable "autocd"
|
2021-08-11 14:43:01 +02:00 |
|
|
|
fcb61bcbf4
|
bashrc.cust: Ignore case on completion
|
2021-08-11 14:42:44 +02:00 |
|
|
|
2268b21672
|
bashrc.cust: Add prompt configuration
|
2021-08-11 14:36:13 +02:00 |
|
|
|
faeb20ec2c
|
Add an installation script
|
2021-08-11 13:51:18 +02:00 |
|
|
|
74548a1234
|
bashrc: Include configuration file
Keep configurations in an external file to make it easier with upgrades.
|
2021-08-11 13:49:16 +02:00 |
|
|
|
85e93937a5
|
Import bashrc from /etc/bashrc
|
2021-08-11 13:45:05 +02:00 |
|
|
|
77187a7cd8
|
Initial upload
|
2021-08-11 13:42:37 +02:00 |
|
