365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
|
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 |
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
|
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
if [ -z "$DEVKITA64" ]; then
echo "Please set DEVKITA64!"
return 1
fi
export PATH="$DEVKITA64/bin:$PATH"
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
|