mr_muffin Inviato 13 Agosto 2011 Segnala Condividi Inviato 13 Agosto 2011 So che vi sembrerà allucinante, ma la macchina su cui sto lavorando ha una shell su cui, digitando man, la risposta è "command not found". Per contestualizzare sto parlando di una macchina NEC su cui non so esattamente che sistema operativo gira. Cmq mi ci connetto tramite ssh da dove mi serve e lavoro tramite terminale. Quando è stato creato il mio account hanno dovuto metterci le mani persone più esperte di me (ci vuol poco) per mettermi a posto la bash perché sbarellava e si bloccava (non so cosa abbiano cambiato, ma poi ha funzionato). Oltre a questo manca il man...pazzesco... Ho girato la cosa al mio tutor che dal suo profilo ha digitato man e funziona tutto allora mi hanno chiesto "ma hai scritto bene man?" Perfetto: mi ritengono proprio uno scemo Qualcuno sa quale può essere il problema? Link al commento Condividi su altri siti Altre opzioni di condivisione...
mr_muffin Inviato 18 Agosto 2011 Autore Segnala Condividi Inviato 18 Agosto 2011 non lo sa nessuno? cmq il problema mi è stato in qualche modo risolto modificando i .cshrc semplicemente avevo delle impostazione del piffero e io non avevo le conoscenze per accorgermene alla prima occhiata alle variabili d'ambiente. Link al commento Condividi su altri siti Altre opzioni di condivisione...
telebabbo Inviato 18 Agosto 2011 Segnala Condividi Inviato 18 Agosto 2011 se al tutor funziona allora è installato. forse nella variabile $PATH non c'è /usr/bin , ma mi sembra molto strano... Comunque, per constatarne l'effettiva presenza, prova a digitare /usr/bin/man (nella stragrande maggioranza dei casi man viene installato lì) dopodichè (coi privilegi di root) apri /etc/profile cerchi la riga che comincia con "PATH" e la sostituisci con PATH='/usr/bin/':$PATH Facci sapè Link al commento Condividi su altri siti Altre opzioni di condivisione...
telebabbo Inviato 18 Agosto 2011 Segnala Condividi Inviato 18 Agosto 2011 non lo sa nessuno? cmq il problema mi è stato in qualche modo risolto modificando i .cshrc semplicemente avevo delle impostazione del piffero e io non avevo le conoscenze per accorgermene alla prima occhiata alle variabili d'ambiente. Esatto, stavo giusto per aggiungere che le indicazioni che ho scritto sopra apportano la modifica di $PATH a livello globale, mentre le modifiche per il singolo utente vanno aggiunte al file di configurazione della shell usata (.profile , .zshrc, .bashrc, ecc ecc) Link al commento Condividi su altri siti Altre opzioni di condivisione...
mr_muffin Inviato 18 Agosto 2011 Autore Segnala Condividi Inviato 18 Agosto 2011 Grazie. Si, avevo già controllato e in $PATH /usr/bin c'è. Ma li dentro non c'è il man. Ora che riesco a evocare il man, con 'which man' ottengo: /usr/ucb/man quindi guardavo nel posto sbagliato e non mi sarebbe nemmeno mai venuto in mente di guardare in /usr/ucb, contenuto in .cshrc Ma spiegami questa cosa ce non ho mai capito troppo bene. Io nella home ho .profile .cshrc .cshrc_user ;in quest'ultima sono definite le mie variabili 'personali'. Ma la macchina quindi guarda in tutti e tre? se io aggiungo un .bash_profile (come ho sul mio computer) cosa succede? io non sono sicuro di quale shell sia in uso di default, ma: > echo $SHELL /usr/bin/tcsh mi illumini un po sull'argomento? Link al commento Condividi su altri siti Altre opzioni di condivisione...
telebabbo Inviato 18 Agosto 2011 Segnala Condividi Inviato 18 Agosto 2011 Grazie. Si, avevo già controllato e in $PATH /usr/bin c'è. Ma li dentro non c'è il man. Ora che riesco a evocare il man, con 'which man' ottengo: /usr/ucb/man quindi guardavo nel posto sbagliato e non mi sarebbe nemmeno mai venuto in mente di guardare in /usr/ucb, contenuto in .cshrc Ma spiegami questa cosa ce non ho mai capito troppo bene. Io nella home ho .profile .cshrc .cshrc_user ;in quest'ultima sono definite le mie variabili 'personali'. Ma la macchina quindi guarda in tutti e tre? se io aggiungo un .bash_profile (come ho sul mio computer) cosa succede? io non sono sicuro di quale shell sia in uso di default, ma: > echo $SHELL /usr/bin/tcsh mi illumini un po sull'argomento? Innanzitutto non è la macchina che guarda i files ma è l'interprete dei comandi a farlo. Nel tuo caso l'interprete è tcsh, quindi userai le impostazioni (alias, variabili, settaggi vari) contenute in .tcshrc; se stessi usando zsh, useresti .zshrc; se stessi usando bash (che è il più popolare), useresti .bashrc e .bash_profile; perciò, assumendo che tu stia usando /usr/bin/tcsh, non ti cambierebbe nulla aggiungere .bash_profile, a meno che tu non lanci "manualmente" /bin/bash dalla una shell tcsh so di non essere stato chiaro, sto scrivendo di fretta, fammi sapere se ci sono ancora dubbi! Link al commento Condividi su altri siti Altre opzioni di condivisione...
mr_muffin Inviato 18 Agosto 2011 Autore Segnala Condividi Inviato 18 Agosto 2011 Era la risposta che temevo perché qui si apre un'altro quesito. Visto che io a quanto pare sto usando tcsh, perché lui interpreta comunque i settaggi in .cshrc che sospetto essere proprio di una c shell? O forse perché .cshrc viene comunque letto? Link al commento Condividi su altri siti Altre opzioni di condivisione...
telebabbo Inviato 18 Agosto 2011 Segnala Condividi Inviato 18 Agosto 2011 Era la risposta che temevo perché qui si apre un'altro quesito. Visto che io a quanto pare sto usando tcsh, perché lui interpreta comunque i settaggi in .cshrc che sospetto essere proprio di una c shell? O forse perché .cshrc viene comunque letto? Cosa c'è scritto nel tuo /etc/profile? E' possibile che contenga la lettura di ~/.cshrc! EDIT: anzi, è più possibile che la lettura sia inclusa in ~/.profile Link al commento Condividi su altri siti Altre opzioni di condivisione...
Messaggi raccomandati
Archiviato
Questa discussione è archiviata e chiusa a future risposte.