Annotation of home/as/.csh/screen.csh, revision 1.1

1.1     ! as          1: # $Paefchen$
        !             2: 
        !             3: # CSHRC_RELOAD: YES
        !             4: # CSHRC_PROMPTONLY: YES
        !             5: # CSHRC_DESCR: Screen starten, wenn noch keins gestartet ist
        !             6: 
        !             7: if (! $?STY ) then
        !             8: 
        !             9:        if (! $?CSHRC_MD_SCREEN_MOD) then
        !            10:                set CSHRC_MD_SCREEN_MOD = "auto"
        !            11:        endif
        !            12: 
        !            13:        if (! $?CSHRC_MD_SCREEN_OPTION) then
        !            14:                set CSHRC_MD_SCREEN_OPTION = '-D -RR'
        !            15:        endif
        !            16: 
        !            17:        if (! $?CSHRC_MD_SCREEN_TITLE) then
        !            18:                set CSHRC_MD_SCREEN_TITLE = 'local'
        !            19:        endif
        !            20: 
        !            21:        if ($CSHRC_MD_SCREEN_MOD == "auto" && ! $?REMOTEHOST) then
        !            22:                screen $CSHRC_MD_SCREEN_OPTION -t $CSHRC_MD_SCREEN_TITLE -S local
        !            23: 
        !            24:        else if ($CSHRC_MD_SCREEN_MOD == "ask") then
        !            25:                while (1)
        !            26:                        echo -n "Soll screen gestartet werden [Y|n|b|h]: "
        !            27:                        set _opt = $<
        !            28:                        if ($_opt == '') set _opt = 'y'
        !            29:                        switch ($_opt)
        !            30:                        case [Yy]:
        !            31:                                screen $CSHRC_MD_SCREEN_OPTION -t $CSHRC_MD_SCREEN_TITLE -S local
        !            32:                                break
        !            33:                        case [Nn]:
        !            34:                                screen -t $CSHRC_MD_SCREEN_TITLE -S local
        !            35:                                break                   
        !            36:                        case [Bb]:
        !            37:                                break
        !            38:                        case [Hh:]
        !            39:                                echo "y: startet ein vorhandene Session oder eine neue"
        !            40:                                echo "n: startet eine neues Session"
        !            41:                                echo "b: keine Screen Session"
        !            42:                                echo "h: diese Meldung"
        !            43:                                breaksw
        !            44:                        default
        !            45:                                echo "Ungueltige Angabe"
        !            46:                        endsw
        !            47:                        unset _opt
        !            48:                end
        !            49:        endif 
        !            50: endif