diff options
| author | Raghuram Subramani <raghus2247@gmail.com> | 2022-12-22 09:55:13 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-22 09:55:13 +0530 |
| commit | 49a0cdaa04cb667855e134716969b992bfcd80cb (patch) | |
| tree | e7ca92becfbb15a94ce9a52be2435a55ed9d12c7 /setup_debian.sh | |
| parent | e1f26dc8af363e15b110b4280bd343da5ed3bd62 (diff) | |
Update setup_debian.sh
Diffstat (limited to 'setup_debian.sh')
| -rw-r--r-- | setup_debian.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/setup_debian.sh b/setup_debian.sh index 6b2369e..6fea2c2 100644 --- a/setup_debian.sh +++ b/setup_debian.sh @@ -85,5 +85,8 @@ cd $CURRENT_DIR # Install Programs sudo apt-get install -y terminator nemo firefox +# Make `bash` Case Insensitive +echo 'set completion-ignore-case On' | sudo tee -a /etc/inputrc + # Remove The Temporary Directory rm -rf $TEMP_DIR |