debug: remove some unneeded echos

This commit is contained in:
mustard 2025-10-20 16:03:02 +02:00
parent 5c0c899676
commit 47bed15eb2
2 changed files with 1 additions and 4 deletions

View file

@ -24,7 +24,7 @@ BUNDLEIN := .bundles/domu.bundle
clean-workdir = git init -q -b $* && git diff --quiet && git diff --cached --quiet || (echo 'dirty tree; check git status' && false) clean-workdir = git init -q -b $* && git diff --quiet && git diff --cached --quiet || (echo 'dirty tree; check git status' && false)
create-bundle = git show-ref --verify --quiet refs/remotes/$(1)/$* \ create-bundle = git show-ref --verify --quiet refs/remotes/$(1)/$* \
|| git bundle create $(BUNDLEOUT) $* || git bundle create $(BUNDLEOUT) $(1)/$*
.PHONY: pull pull/% .PHONY: pull pull/%
pull: pull/$(shell git branch --show-current) pull: pull/$(shell git branch --show-current)

View file

@ -3,9 +3,7 @@
set -eo pipefail set -eo pipefail
# running in guest # running in guest
echo "hmmm"
guest_name="$(qubesdb-read /name)" guest_name="$(qubesdb-read /name)"
echo "hmmmmmm"
echo $(realpath ""$0"") echo $(realpath ""$0"")
guest_repo_dir="$(dirname $(realpath ""$0""))" guest_repo_dir="$(dirname $(realpath ""$0""))"
echo $guest_repo_dir echo $guest_repo_dir
@ -44,7 +42,6 @@ git clone /tmp/saltstuff.bundle -b "${branch}" "\$1"
pushd "\$1" pushd "\$1"
echo "{dom0} setting up remote '${guest_name}' to push/pull changes via bundle" >&2 echo "{dom0} setting up remote '${guest_name}' to push/pull changes via bundle" >&2
echo "ehhh"
mkdir ./.bundles mkdir ./.bundles
mv /tmp/saltstuff.bundle ./.bundles/domu.bundle mv /tmp/saltstuff.bundle ./.bundles/domu.bundle