2023-01-24 07:54:12 +00:00
|
|
|
#!/usr/bin/env bash
|
2023-04-12 03:57:02 +00:00
|
|
|
# @file Miscellaneous Clean Up
|
|
|
|
# @brief Removes certain files that should not be necessary
|
|
|
|
# @description
|
|
|
|
# This script removes various files in the `HOME` directory that are either no longer necessary
|
|
|
|
# or cluttery.
|
2023-01-24 07:54:12 +00:00
|
|
|
|
|
|
|
### Remove meta sudo file
|
|
|
|
if [ -f "$HOME/.sudo_as_admin_successful" ]; then
|
|
|
|
rm -f "$HOME/.sudo_as_admin_successful"
|
|
|
|
fi
|
|
|
|
|
|
|
|
### Remove .bash_history file
|
|
|
|
# New dotfiles specify this to be kept in the ~/.local folder
|
|
|
|
if [ -f "$HOME/.bash_history" ]; then
|
|
|
|
rm -f "$HOME/.bash_history"
|
|
|
|
fi
|
|
|
|
|
|
|
|
### Remove wget history file
|
|
|
|
# New dotfiles include alias that automatically adds the wget-hsts file in the ~/.local folder
|
|
|
|
if [ -f "$HOME/.wget-hsts" ]; then
|
|
|
|
rm -f "$HOME/.wget-hsts"
|
|
|
|
fi
|
2023-01-24 07:59:25 +00:00
|
|
|
|
|
|
|
### Remove .wrangler
|
|
|
|
# Not sure how this is populating but the proper environment variables appear to be in place and nothing breaks when its removed
|
|
|
|
if [ -d "$HOME/.wrangler" ]; then
|
|
|
|
rm -rf "$HOME/.wrangler"
|
|
|
|
fi
|