Artifex.it

Quando usavo Linux ho sempre tenuto diversi widget attivi per monitorare le attività del computer.

Anche in Windows 10 esiste qualcosa di simile, si chiama Gestione Attività, ma se lo lanciamo all’avvio non lo si riesce a far scomparire dalla barra delle applicazioni attive. Per farlo scomparire bisogna aprirlo e poi ridurlo ad icona (dopo aver impostato questo comportamento nelle configurazioni).

Inutile dire che la cosa è abbastanza fastidiosa.

Per il risolvere il problema ho usato AutoHotKey (che uso anche per impostare le scorciatoie per le lettere accentate maiuscole e i caratteri speciali).

Continua a leggere Come automatizzare le operazioni di un programma Windows 10

Per aggiungere la sezione link a questo sito ho usato due plugin che mi hanno permesso di lavorare sempre dalla dashboard senza bisogno di scrivere nuovi plugin (trovi i dettagli in questo post).

Con il passaggio alla versione 4 del plugin All In One SEO, però, è stata eliminata la possibilità di poterne disabilitare le funzioni in una singola pagina (che io usavo per modificare titolo e proprietà dell’OpenGraph di Facebook) e, in più, è stata anche modificata la riscrittura dei titoli delle pagine.

Queste modifiche hanno reso non più completamente funzionante la mia sezione link ed ecco dunque le modifiche che ho dovuto fare.

Continua a leggere Disabilitare il plugin All In One SEO di WordPress in una singola pagina

In un gestionale che ho scritto in Web2py incorporo alcune pagine di un’installazione di Odoo 12 che risiede su un server diverso.

Le recenti politiche di sicurezza dei browser hanno reso impossibile questo comportamento a meno di una autorizzazione esplicita del sito incorporato.

Il problema è che né Odoo 12 né la versione installata del server Nginx che uso come reverse proxy gestiscono questa possibilità.

Come fare?

Continua a leggere Incorporare un sito Odoo 12 in un iframe di un sito esterno

Può essere necessario dover accedere ad un server che sia collegato ad Internet ma che non disponga di un indirizzo IP pubblico e statico. Potrebbe avere un indirizzo IP dinamico oppure potrebbe capitare di dover utilizzare un router per telefonia mobile che spesso usa il protocollo NAT, condividendo quindi lo stesso indirizzo IP con altri router.

Se abbiamo a disposizione un secondo server con indirizzo IP pubblico e statico lo possiamo usare come ponte per collegarci al primo server.

Continua a leggere Rendere accessibile da Internet un server connesso tramite protocollo NAT o firewall con IP dinamico

A volte si ha bisogno di una funzione particolare che non è immediatamente ottenibile combinando i comandi usati più spesso nelle Pipe (more, grep, wc e così via).
Invece di cercare soluzioni, a volte complicate, in Internet possiamo scrivere rapidamente noi il programma!

Continua a leggere Usare lo Unix Piping con Python

Dopo una decina di anni di uso di Linux anche come desktop ho ricominciato ad usare Windows come desktop {solo come desktop! La maggior parte dei miei progetti continua ad essere in ambiente Linux tramite WSL}.

Nel normale uso di un editor di testo ci sono due punti in cui ancora Windows 10 è rimasto un po’ carente:

• nell’inserimento delle lettere accentate maiuscole (ad esempio la È) nei testi in italiano
• nella possibilità di usare caratteri speciali come ~ (tilde) o ` (backtick o apice rovesciato) specialmente nelle sessioni Linux.

Se disponiamo di una tastiera con tastierino numerico possiamo sempre usare la combinazione di tasti ALT + <codice numerico del carattere> per inserire il carattere che desideriamo ma se la tastiera non prevede tastierino numerico come si fa?

Continua a leggere Come ottenere lettere accentate e caratteri speciali senza tastierino numerico su Windows 10