Improve the way I push to git and add comment

This commit is contained in:
gbaconni
2022-04-17 11:19:59 +02:00
parent ba482a0104
commit 4b5895e873
3 changed files with 38 additions and 29 deletions

View File

@@ -6,7 +6,7 @@
# By: gbaconni@student.42lausanne.ch +#+ +:+ +#+ #
# +#+#+#+#+#+ +#+ #
# Created: 2022/01/18 15:11:16 by gbaconni #+# #+# #
# Updated: 2022/04/16 00:45:55 by gbaconni ### lausanne.ch #
# Updated: 2022/04/17 11:18:36 by gbaconni ### lausanne.ch #
# #
# **************************************************************************** #
#
@@ -140,3 +140,19 @@ ft:
@echo "functions:"
@nm $(NAME) | grep T | grep -o 'ft_.*' | sort -u
sync: config online fetch
@git status | grep -q 'nothing to commit' || (git diff; read -p "Comment: " comment; git add -A; git commit -am "$${comment-$$(date '+%F %T')}"; git push)
online:
@dig +short vogsphere.42lausanne.ch A | grep -qF '185.25.195.180' || echo 'vogsphere.42lausanne.ch unresolvable'
@nc -vzw3 vogsphere.42lausanne.ch 443 2>&1 | grep -qF 'succeeded' || echo 'vogsphere.42lausanne.ch unreachable'
fetch:
@git fetch
config:
@git config user.name "gbaconni"
@git config user.email "gbaconni@student.42lausanne.ch"
@git config pull.rebase true
@git config branch.autosetuprebase always