Categoria: scienze

Oracle – come recuperare lo script DLL di una vista

oracle sqldeveloper

Ho bisogno di rivedere il codice SQL di una vista di un utente diverso da quello con cui sono collegato al DBMS. Se ho privilegi di select sulla vista lo posso fare. L’oggetto ALL_VIEWS è una vista su tutte le viste visibili all’utente. I parametri della query sono ovviamente CASE SENSITIVE. Nel campo TEXT si …

Continua a leggere

Pillole di MySQL: comportamento dei campi timestamp

Nella dichiarazione di un campo di tipo timestamp viene per default abilitata la valorizzazione automatica all’istante corrente del campo quando inseriamo un nuovo record. Ad esempio, se in una tabella attivita abbiamo un campo data dichiarato come timestamp, quando inseriamo un nuovo record il campo verrà popolato anche senza la sua presenza esplicita nell’istruzione SQL. …

Continua a leggere

Martorèo

È un vocabolo del dialetto veneto, almeno nella mia zona di origine che si situa nel baricentro tra le città di Venezia, Padova e Treviso. Amici della provincia di Treviso mi segnalano che da quelle parti verso la Pedemontana si chiami Mazariòl o Mathariòl, pronunciato con il suono della theta greca (la fricativa dentale sorda dell’alfabeto …

Continua a leggere

Upgrade Ubuntu da 15.04 a 16.04 LTS Dapper Drake

Ho aggiornato il mio Ubuntu 15.04 alla 16.04 LTS Dapper Drake, rimanendo in attesa dell’8 luglio per poter ulteriormente aggiornare alla 18.04 LTS Bionic Beaver Sono successi alcuni inconvenienti, non gravissimi, che elenco: MySQL non parte più. In questo caso ho dovuto reinstallare mysql-server e aggiornare il file di configurazione di Apparmor che non consentiva …

Continua a leggere

Pillole LaTeX: aggiungere un package

LaTeX è il sistema di redazione di documenti scientifici più popolare da ormai più di 20 anni. Le potenzialità sono state ampliate nel tempo fornendo dei componenti terzi che sono agganciabili al motore di LaTeX eseguando l’installazione di un pacchetto (package) Un esempio: il package Tikz-feynman, che aggiunge la possibilità di disegnare diagrammi di Feynman. …

Continua a leggere

Pillole Unix/Linux: il comando grep

grep (GNU Regular Expression Parser) è un utilissimo programma per analizzare testi. A cosa serve analizzare un testo? per esempio: trovare tutti i documenti di testo dentro ad un disco o ad una directory in cui compare la parola “mail”, quando non abbiamo la più pallida idea di dove sia. Qui in realtà occorre un concorso …

Continua a leggere

PING: utility per accertare lo stato di un dispositivo di rete

network: non raggiungo nessun host per nome

Ping è un programma disponibile in tutti i sistemi operativi che permette di controllare se un host o più in generale, una qualsiasi interfaccia di rete anche di un router, è raggiungibile dal punto in cui siamo. Ping è una utility che invia e riceve messaggi ICMP (Internet Control Message Protocol). Partiamo da questo protocollo. …

Continua a leggere

Pillole di Unix/Linux: i servizi, i runlevel e gli script rc.d

Un servizio è un programma, o un insieme di programmi, che gira in background e di cui non ci preoccupiamo fino al momento in cui ne abbiamo bisogno. Esempi di servizi sono Apache, MySQL e CUPS (il server per la gestione delle stampanti). Un servizio è detto a volte service e a volte server. Un …

Continua a leggere

Pillole UNIX: acquisire il DNS dal server attraverso una sessione VPN

Mi sono imbattuto in questo problema. Per accedere alla rete aziendale di un cliente in modo sicuro mi è stato assegnato un collegamento VPN che ho utilizzato mediante un client OpenVPN. Lo script di configurazione del client però mancava delle istruzioni per acquisire gli IP del DNS necessari per navigare una volta collegati. Ciò che …

Continua a leggere

Centrare verticalmente blocchi div con CSS2

Per centrare verticalmente un blocco testo, se questo è composto di una sola linea, è necessario specificare oltre all’altezza del contenitore div anche l’altezza della linea di testo e queste devono coincidere: HTML <div>blocco centrato verticalmente</div>   CSS div { height: 200px; line-height: 200px; /* <– devi aggiungere questa */ vertical-align: middle; } Per un …

Continua a leggere