thomaslaurenson

# Make sure you are in the repo directory
cd <somewhere>

# Add the external repository as a submodule
git submodule add <address_of_submodule_repo>

# Make sure to initialize it and update (when required)
git submodule init
git submodule update

thomaslaurenson

# Remove last commit (completely)
git reset --hard HEAD~1

# Remove specific commit (completely)
get reset <commit_hash>

# Now push with force!
git push --force

thomaslaurenson

# Custom history configuration
# Run script using:
# chmod u+x better_history.sh
# sudo su
# ./better_history.sh

echo ">>> Starting"
echo ">>> Loading configuration into /etc/bash.bashrc"
echo "HISTTIMEFORMAT='%F %T '" >> /etc/bash.bashrc
echo 'HISTFILESIZE=-1' >> /etc/bash.bashrc

thomaslaurenson

# Fetch the NIC name (e.g., eth0, ens33)
NIC=$(ifconfig -a | sed 's/[ \t].*//;/^\(lo\|\)$/d')

# Print the IP address of the NIC
ifconfig $NIC | awk '/t addr:/{gsub(/.*:/,"",$2);print$2}'