@eshanized: push via push.sh 🎉 !!!

This commit is contained in:
2024-03-07 15:43:11 +05:30
parent 787221e28d
commit 9de3777de5
11 changed files with 0 additions and 0 deletions

View File

@@ -0,0 +1,30 @@
#!/bin/bash
#set -e
echo
echo "Copying /etc/pacman.d/gnupg/gpg.conf"
echo
file_boolean=0
function check_file() {
file="/usr/local/share/snigdhaos/gpg.conf"
if [[ -f $file ]];then
echo $file " exists"
file_boolean=1
else
echo $file " doesn't exist"
file_boolean=0
fi
}
check_file
if [ $file_boolean -eq 1 ] ; then
sudo cp /usr/local/share/snigdhaos/gpg.conf /etc/pacman.d/gnupg/gpg.conf
echo "/etc/pacman.d/gnupg/gpg.conf copied from local system"
fi
echo
echo "Task Completed!"
echo