if ( $?prompt ) then
    setenv GPG_TTY `tty`
endif