L'altro giorno ho avuto la bruttissima idea di levare dal .gitignore tutta la cartella .idea (cartella di configurazione del progetto di PhpStorm).
Questo mi ha comportato una marea di rotture, ed ho quindi deciso di rimettere la cartella nel .gitignore.
Io uso PhpStorm per i miei progetti Angular / React, ed è lui stesso che mi il file gitignore.
In pratica è un file con dentro tutto ciò che non andrà pushato su Git.
Però non tutti usano un IDE, o magari un IDE che fa tutto da solo.
Supponiamo di avere una tabella con un campo impostato come chiave univoca e uno che non accetta valori nulli.
E vogliamo creare una Stored Procedure che inserisca i record e che ci invii o l'ultimo id inserito, o gli errori.
In MariaDB (e in MySQL) possiamo usare DECLARE HANDLER!
Il titolo probabilmente non identifica al 100% cosa vogliamo ottenere.
In pratica vogliamo lanciare uno script PHP, chiudere il browser e fare in modo che lo script continui fino alla fine.
Per farlo possiamo usare la funzione ignore_user_abort!
A volte non serve formattare il pc e reinstallare tutta la nostra distro Linux da zero; magari ci basta solo resettare le impostazioni del nostro desktop per risolvere un pò di problemi e ravvivare il nostro pc.
Se usiamo MATE, Gnome o Cinnamon (ma forse anche qualsiasi altro DE basato su Gtk) possiamo usare dconf!
In generale non sono un appassionato di Gnome Shell, ma mi capita di doverlo usare.
Una delle cose migliori, probabilmente, è la possibilità di modificarlo in profondità in maniera semplice; o comunque sono disponibili parecchie estensioni.
Una di queste ci permette di aggiungere il tasto di sospensione, cosa che non è disponibile di default.