Visualizzazione post con etichetta Bash. Mostra tutti i post
Visualizzazione post con etichetta Bash. Mostra tutti i post

lunedì 22 agosto 2016

Eseguire comando "date" dentro crontab

Vi è capitato di eseguire un cron che svolge del lavoro per voi e voler salvarne l'output su un file che abbia come nome la data e l'ora (timestamp) di esecuzione, ma non funziona? Dopo aver dato un bel crontab -e basta scrivere così:

Perché funzioni è infatti fondamentale fare l'escaping dei simboli di percentuale "%" aggiungendo il backslash davanti, così: "\%".

giovedì 23 luglio 2015

Inserire caratteri unicode da tastiera

Per inserire direttamente il codice unicode di un carattere, gli utenti Windows usano la combinazione di tasti:

ALT + numero sul tastierino numerico.

Per gli utenti Linux la combinazione per inserire caratteri unicode da tastiera è leggermente più articolata:

Ctrl + Maiusc + u

Compare una u, basta scrivere il codice unicode (ad esempio 213b) e dare invio, in questo caso otteniamo il simbolo ℻.

La cosa funziona sicuramente con interfacce basate su GTK, ad esempio Gnome, su altre basate per esempio su KDE non ho verificato.

Sempre per gli utenti Linux, c'è comunque la possibilità di inserire virgolette alte, basse, singole, doppie, la tilde e così via, direttamente tramite queste combinazione di tasti.

mercoledì 22 luglio 2015

Virgolette e altri caratteri speciali sulle tastiere Linux

Combinazioni di tasti per l'inserimento di virgolette e altri caratteri speciali sulle tastiere Linux:

Virgolette alte doppie
aperte: AltGr + V = “
chiuse: AltGr + B = ”

Virgolette alte semplici
aperte: AltGr + Maiusc + v = ‘
chiuse: AltGr + Maiusc + b = ’

Virgolette basse (caporali o all'italiana)
aperte: AltGr + < = «
chiuse: AltGr + x = »

Virgoletta inversa
AltGr + ' = `

E accentata maiuscola
Bloc Maiusc + è = È

Tilde
AltGr + ì  = ~

Parentesi quadre
aperte: AltGr + è = [
chiuse: AltGr + + = ]

Parentesi graffe
aperte: AltGr + 7 = {
chiuse: AltGr + 0 = }

Un'altra possibilità è quella di inserire da tastiera il codice Unicode dei caratteri.

mercoledì 8 luglio 2015