Terminale

Il CNR è anche questo: concorsi in LaTeX

Nella puntata precedente ho raccontato della mia corsa contro il tempo dell’estate, una prova assurda come quelle di Giochi senza frontiere, ma senza allegria. Inutile però dilungarsi ancora in dettagli poco comprensibili ai non addetti ai lavori. Meglio parlare invece di cosa ho fatto io per superare questa prova, cercando di sfruttare quel poco che so di LaTeX e di programmazione.

Spotlight e il riquadro fastidioso

– Fonte: sony kusuma estri su Unsplash. Non so voi, ma a me ogni tanto succede che qualche scritta spuria rimanga come appiccicata sullo schermo del Mac. Capita soprattutto con l’anteprima del nome completo di un file, il pop-up che compare spostando il mouse sul nome di un file senza fare click.1

Come creare una chiavetta USB per installare macOS

– Fonte: Ferdinand Stöhr su Unsplash. Nell’articolo precedente, Come scaricare le versioni meno recenti di macOS: un anno dopo, abbiamo visto che da qualche mese Apple ha messo a disposizione delle versioni aggiornate dei programmi di installazione di macOS, da 10.10 Yosemite a 10.15 Catalina, utilizzando due diversi formati di file. Le versioni più recenti di macOS (High Sierra, Mojave e Catalina) sono disponibili solo come normali applicazioni per il Mac (formato .app), quella più vecchia (Yosemite) si può scaricare solo in formato immagine (o .dmg), mentre le due versioni intermedie sono disponibili sia come applicazioni che come immagini.

Buon Natale dal Terminale

C’è gente che con il Terminale sarebbe in grado di far volare un Boeing. Oppure che sa costruire un alberello di Natale pieno di lucine colorate, come questo. Se lo volete anche voi, vi basta aprire il Terminale ed eseguire $ curl https://raw.githubusercontent.com/sergiolepore/ChristBASHTree/master/tree-EN.sh | bash oppure, se preferite la versione tradotta in italiano,

Come cambiare la data in macOS

– Fonte: JustHourglasses. “Ma stai scherzando? Perché ci vuoi propinare uno dei tuoi soliti lunghissimi articoli solo per insegnarci a cambiare la data in macOS? Non lo sai che basta essere collegati ad internet e il Mac fa tutto da solo?” Data e ora in macOS Avete ragione, macOS (così come qualunque sistema operativo moderno) è perfettamente in grado di gestire da solo la data e l’ora. Gli basta collegarsi ai server Apple sui quali gira il servizio NTP (Network Time Protocol) per sincronizzare l’orologio interno del Mac con l’ora ufficiale di uno degli orologi atomici sparsi nel mondo.

Script per tutti i giorni: lo script è il comando

Nelle puntate precedenti abbiamo visto come scrivere dei semplici script in bash o in awk che risolvono un problema assai specifico, è vero, ma che possono anche costituire una buona base di partenza per affrontare argomenti più complessi (i link alle puntate precedenti si trovano alla fine dell’articolo). In particolare, nella terza puntata abbiamo imparato come rendere i nostri script quasi indistinguibili dai normali comandi del Terminale: (1) si aggiunge in testa allo script lo shebang, cioè la sequenza di caratteri #!, seguita dal percorso completo al programma da utilizzare per eseguire lo script,1 (2) si usa il comando chmod per rendere lo script eseguibile (almeno) all’utente attuale del Mac,

Script per tutti i giorni: entra in scena awk

– Tastiera A.W.K., Viscount Instruments. Nelle prime tre puntate di questa serie abbiamo imparato a scrivere uno script in bash per trasformare una stringa di testo in modo che segua delle convenzioni ben determinate a priori (qui i link alla prima, seconda e terza puntata). In questo caso particolare, la stringa risultante dalla trasformazione deve essere scritta tutta in minuscolo e non deve contenere apostrofi o altri caratteri speciali, a parte il trattino usato come separatore di parole. L’idea è quella di usare questa stringa, insieme alla data di pubblicazione del post, per dare un nome standard e facilmente rintracciabile al file Markdown che contiene il testo del post stesso, utilizzando il formato YYYY-MM-DD-titolo-del-post.md, dove YYYY indica l’anno, MM il mese e DD il giorno di pubblicazione.

Script per tutti i giorni: shell e parametri

– Foto: Trammell Hudson su Flickr. Lo script di conversione del titolo di un post mostrato alla fine della puntata precedente è diventato ormai quasi “utilizzabile”. Mancano solo un paio di tocchi finali, che vedremo nel corso di questa terza parte. Una casa per i programmi Prima di proseguire è bene decidere una volta per tutte dove salvare gli script che stiamo sviluppando. Non so voi, ma io preferisco usare una cartella dedicata allo scopo invece di buttare tutto dove capita. In tutti gli articoli di questa serie gli script in fase di sviluppo saranno salvati nella cartella Development, situata all’interno della cartella Home (o Inizio) dell’utente che ha effettuato il login (la cartella Home è quella rappresentata dall’icona di una casetta). Ovviamente siete liberi di usare un altro nome e un’altra posizione sul disco rigido, ma dovrete ricordarvi di modificare di conseguenza i percorsi dei comandi.

Script per tutti i giorni: dalla linea di comando al programma

– Foto: Matthew Ratzloff su Flickr. Il comando per generare automaticamente il nome del file nel formato previsto da Jekyll (o da Wordpress) dal titolo del post presentato alla fine della prima puntata potrà anche essere interessante dal punto di vista didattico ma, diciamolo, è poco pratico per essere utilizzato veramente. Bisogna lanciare il Terminale, andare a cercare il comando da qualche parte, copiarlo e incollarlo nel Terminale, cancellare il titolo preesistente e incollare il titolo del nuovo post su cui stiamo lavorando… Si fa prima a fare tutto a mano nel Finder!

Script per tutti i giorni: semplici modifiche alle stringhe di testo

– Foto: telwink su Flickr. Succede più spesso di quanto mi renda conto. Devo rinominare dei file, modificare un testo o fare altri pasticci con i miei documenti. Potrei usare una delle tante applicazioni ad hoc fatte per fare proprio quello. Ma perché perdere tempo ad installare ed imparare ad usare l’ennesima applicazione se con il Terminale posso fare prima (e meglio)?