Guida tematica alla riga di comando, R.G.Il $ riportato negli esempi come primo carattere, simboleggia la riga di comando ed è
chiamato prompt. Ha il compito di separare informazioni utili dai comandi utente.
Andrebbe specificato che è tipico dei sistemi Unix. L’analogo di Windows dovrebbe essere il >; attendo conferme.
Guida tematica alla riga di comando, R.G.In Windows esiste una modalità esotica di avvio della shell che consiste nell’aprire il
dialogo Esegui… dal menù Start e digitare il comando cmd prima di confermare su OK
o con il tasto (Invio).
Su Windows 7 (non ho verificato su Xp) si apre anche semplicemente premendo il tasto Win e digitando cmd (infine Invio). Si può anche aprire nella cartalla di lavoro con “SHIFT” + “tasto destro del mouse” > “Apri finestra di comando qui”. Questo però vale solo per Windows 7.
Guida tematica alla riga di comando, R.G.Conoscere il modo di rinominare un file con la riga di comando può essere utile specie se
vi trovate ad utilizzare Windows che solitamente è impostato per nascondere la estensioni
dei file, rendendo impossibile cambiarla in modalità grafica.
Non è proprio impossibile, si deve fare qualche operazione (anche semplice, direi).
Aggiungo: a pagina 9 si fa l’esempio sulla “redirezione” ([tt]$ echo ’export PATH=/usr/local/texlive/2011/bin/i386-linux:${PATH}’ >> ~.profile[/tt]) ma non si dice cos’è. Secondo me è utile. Tanto per fare un esempio: [tt]pdffonts main.pdf > fontusati.txt[/tt]
Per ora è tutto. 🙂
Ciao
Orlando