configs  Diff

Differences From Artifact [055c1ff1f6]:

To Artifact [fba2601d3a]:


365
366
367
368
369
370
371
372
373
374
375
376
377
378
379

if __has_command gpg gpg2; then
	# Make sure GPG agent is running.
	gpg --card-status &>/dev/null

	local sock
	if [ -d "$XDG_RUNTIME_DIR/gnupg" ]; then
		sock=$(find $XDG_RUNTIME_DIR/gnupg -name S.gpg-agent.ssh |
		       head -1)
	fi
	[ -n "$sock" ] || sock="$GNUPGHOME/S.gpg-agent.ssh"

	alias gssh="SSH_AUTH_SOCK=$sock ssh"
	alias gssh-add="SSH_AUTH_SOCK=$sock ssh-add"
	alias gsftp="SSH_AUTH_SOCK=$sock sftp"







|







365
366
367
368
369
370
371
372
373
374
375
376
377
378
379

if __has_command gpg gpg2; then
	# Make sure GPG agent is running.
	gpg --card-status &>/dev/null

	local sock
	if [ -d "$XDG_RUNTIME_DIR/gnupg" ]; then
		sock=$(find "$XDG_RUNTIME_DIR/gnupg" -name S.gpg-agent.ssh |
		       head -1)
	fi
	[ -n "$sock" ] || sock="$GNUPGHOME/S.gpg-agent.ssh"

	alias gssh="SSH_AUTH_SOCK=$sock ssh"
	alias gssh-add="SSH_AUTH_SOCK=$sock ssh-add"
	alias gsftp="SSH_AUTH_SOCK=$sock sftp"
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
		export cross_host="ppc-morphos"
		;;
	switch)
		if [ -z "$DEVKITPRO" ]; then
			echo "Please set DEVKITPRO!"
			return 1
		fi
		if [ -z $"DEVKITA64" ]; then
			echo "Please set DEVKITA64!"
			return 1
		fi

		export PATH="$DEVKITA64/bin:$PATH"
		export cross_host="aarch64-none-elf"
		export objfw_configure_flags="--with-$1"
		;;
	wii | wii-u)
		if [ -z "$DEVKITPRO" ]; then
			echo "Please set DEVKITPRO!"
			return 1







|




|







563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
		export cross_host="ppc-morphos"
		;;
	switch)
		if [ -z "$DEVKITPRO" ]; then
			echo "Please set DEVKITPRO!"
			return 1
		fi
		if [ -z "$DEVKITA64" ]; then
			echo "Please set DEVKITA64!"
			return 1
		fi

		export PATH="$DEVKITA64/bin:$DEVKITPRO/tools/bin:$PATH"
		export cross_host="aarch64-none-elf"
		export objfw_configure_flags="--with-$1"
		;;
	wii | wii-u)
		if [ -z "$DEVKITPRO" ]; then
			echo "Please set DEVKITPRO!"
			return 1