Scripts.git - Gitblit

mirror of https://github.com/Chizi123/Scripts.git

parent: d6e801a4 | patch | commit | show whitespace

Merge branch 'master' of github.com:Chizi123/Scripts

Joel Grunbaum

2021-08-24 40f5e4e11932669aeb0838612fea9bebd5c5182c

Merge branch 'master' of github.com:Chizi123/Scripts

2 files modified

	autoclick.sh	9 ●●●●● patch \| view \| raw \| blame \| history
	git-mirror-update.sh	4 ●●●●● patch \| view \| raw \| blame \| history

 autoclick.sh

@@ -1,5 +1,11 @@
#!/bin/sh

if [ "$XDG_SESSION_TYPE" = "wayland" ]; then
    TOOL=ydotool
else
    TOOL=xdotool
fi

if [ "$(pgrep autoclick | wc -l)" = "2" ]; then 
    true
else
@@ -7,6 +13,7 @@
fi

while :; do
    xdotool click --delay 100 --repeat 10 1
    $TOOL click 1
    sleep 0.1
done


 git-mirror-update.sh

old mode 100644
new mode 100755
@@ -3,7 +3,7 @@
GIT_DIRECTORY=/Eduardo/git

for d in $GIT_DIRECTORY/*; do
    if ! grep -q "mirror = true" $d/config; then
    git -C $d remote update
    if grep -q "mirror = true" $d/config; then
    git -C "$d" remote update --prune
    fi
done

			@@ -1,5 +1,11 @@
			#!/bin/sh

			if [ "$XDG_SESSION_TYPE" = "wayland" ]; then
			TOOL=ydotool
			else
			TOOL=xdotool
			fi

			if [ "$(pgrep autoclick \| wc -l)" = "2" ]; then
			true
			else
			@@ -7,6 +13,7 @@
			fi

			while :; do
			xdotool click --delay 100 --repeat 10 1
			$TOOL click 1
			sleep 0.1
			done

			@@ -3,7 +3,7 @@
			GIT_DIRECTORY=/Eduardo/git

			for d in $GIT_DIRECTORY/*; do
			if ! grep -q "mirror = true" $d/config; then
			git -C $d remote update
			if grep -q "mirror = true" $d/config; then
			git -C "$d" remote update --prune
			fi
			done