Repository del canale Telegram @linuxpeople_feed

Creare file con l'espansione bash

Scritto da il

Sapevate che si può usare l’espansione di bash per creare uno o più file? touch file.{10..0} Questo creerà ad esempio 10 file, tutti che si chiamano file e differiscono per il numero...…

❇️ Trucco del giorno

Utilizzare tput per la formattazione del terminale

Scritto da il

formattiamo l’output del terminale con tput in genere basta utilizzarlo in subshell davanti le stringhe che dobbiamo formattare, ad esempio per il grassetto: echo "testo $(tput bold)testo in grassetto$(tput sgr0) testo normale"...…

❇️ Trucco del giorno

Sottomoduli git pt 2

Scritto da il

sottomoduli pt1 sottomoduli pt3 Che ci fate con un submodule git di pratico?? beh potete innanzitutto pushare e pullare su tutti i progetti (principali e sottomoduli) così: git push --recurse-submodules=on-demand git pull...…

🍒 Cherry Bin

Inviare richieste POST con CURL

Scritto da il

Sapete che curl può inviare delle richieste POST da command line? così: curl -X post -H "Content-Type: application/json;" -d "{json}" ind.iri.zzo.ip …

🍒 Cherry Bin

Opzioni bash

Scritto da il

Per quei vecchietti che ancora usano bash e non zsh, sapete che potete attivare delle opzioni carine? Tutto con shopt Digitate: shopt -s Per impostare ad on una feature shopt -u Per...…

❇️ Trucco del giorno
  1. Nuovi articoli
  2. Articoli passati