Au lieu de dormir, j'apprends que sous #Linux et autres systèmes utilisant #Bash et dérivés en #LigneDeCommande, on peut télécharger un site web entier en tapant
wget -m https://LadresseDu.Site
Et c'est trop pratique !
in reply to Vieux Mâle Beige clair

@lucaxavier@diaspora-fr.fr
astuce : wget --help

mapomme@icibas:~$ wget --help
GNU Wget 1.21.3, un récupérateur réseau non interactif.
Utilisation : wget [OPTION]…

Les

J'ai toujours été nul en #LigneDeCommande - #shell - #bash malgré 25 ans d'utilisation de #Linux.
Mais cette appli m'aide beaucoup à résoudre des problèmes, comme quand un processus ralentit le PC, ou pour convertir rapidos une image ou un son.
f-droid.org/packages/com.inspi…

Elle existe en ligne aussi
linuxcommandlibrary.com

Dites, linuxiens et libristes, j'ai concert demain et d'ordinaire, je fais lire mes accompagnements #midi par #Timidity.
Or, en version graphique, il plante systématiquement, depuis 2 jours, en cette veille de concert.
Y'a t'y moyen de faire un script pour mettre les morceaux dans un certain ordre pour les lancer façon #playlist en #LigneDeCommande ?
Ou avec #Fluidsynth ?
Sinon je suis obligé de tous les écouter ce soir et ensuite de remonter à la main la liste en mémoire. Sans pouvoir faire pause ou retour arrière rapidement.
A moins que tout ça soit possible mais j'ai juste 2 Go d'internet, ça va être compliqué de passer des heures a chercher.
#PlayMidi #PMidi #

reshared this