Nel 2018 avevo fatto un articolo (che trovate qui se volete vedere le differenze) in cui parlavo degli IDE / editor di testo che uso per programmare; o comunque che uso per il mio lavoro in generale.
Dopo due anni direi che è il caso di aggiornare la lista.
Anche qui vi faccio un elenco specificando per quali attività e su quale sistema, e se possibile indicando anche un perchè.
Se abbiamo un array, e vogliamo sommare gli elementi in Python, possiamo usare la funzione sum.
In pratica fa tutto lei; come parametri richiede l'array ed un numero da sommare agli altri (ma è opzionale).
In pratica prendo un dato da un database, che mi arriva come stringa in questo formato: 10:00:00.
In sostanza le 10 mattina.
Da qui devo sottrarre 15 minuti a quella "stringa" in PHP.
Su un database MariaDB ho un campo TIME, e devo eseguire una query sottraendo 15 minuti.
Per fare questa operazione possiamo usare la funzione SUBTIME.
Qualche giorno fa ho eseguito una installazione di Wordpress, cancellato tutti i temi preintallati, e tenuto solo quello custom.
E' successo che nell'aggiunta di un articolo, non era più possibile impostare l'immagine in evidenza.
In BASH il concetto di substring è un pò diverso da quello a cui siamo abituati in altri linguaggi.
Che io sappia non esiste una vera e propria funzione specifica, ma si usano i comandi con le pipe, o una sintassi apposita.