Fix permissions for files in /dev/pts

SuperSandro2000 · SuperSandro2000 · commit 507c3b25f36c · 2022-11-21T14:53:13.000+01:00
The pts should have $USER:tty permissions, not root:tty.
This broke gpg with the following not very helpful error message:
gpg: signing failed: Permission denied
diff --git a/scripts/syschdemd.sh b/scripts/syschdemd.sh
@@ -134,7 +134,7 @@ main() {
     --setenv=WSLPATH="$(clean_wslpath)" \
     --working-directory="$PWD" \
     --machine=.host \
-    "$(which runuser)" -u @username@ -- /bin/sh -c "$exportCmd; source /etc/set-environment; exec $command"
+    "$(which runuser)" --pty -u @username@ -- /bin/sh -c "$exportCmd; source /etc/set-environment; exec $command"
 }
 
 main "$@"

Original file line number	Diff line number	Diff line change
`@@ -134,7 +134,7 @@ main() {`
`134`	`134`	`--setenv=WSLPATH="$(clean_wslpath)" \`
`135`	`135`	`--working-directory="$PWD" \`
`136`	`136`	`--machine=.host \`
`137`		`- "$(which runuser)" -u @username@ -- /bin/sh -c "$exportCmd; source /etc/set-environment; exec $command"`
	`137`	`+ "$(which runuser)" --pty -u @username@ -- /bin/sh -c "$exportCmd; source /etc/set-environment; exec $command"`
`138`	`138`	`}`
`139`	`139`
`140`	`140`	`main "$@"`