Record your terminal and generate animated gif images or share a web player.

Available at https://github.com/faressoft/terminalizer

Edit: the project is slowly maintained. #RIIR ?

Summary:

• Use Boyer-Moore (and unroll its inner loop a few times).

• Roll your own unbuffered input using raw system calls. Avoid copying
  the input bytes before searching them. (Do, however, use buffered
  output. The normal grep scenario is that the amount of output is
  small compared to the amount of input, so the overhead of output
  buffer copying is small, while savings due to avoiding many small
  unbuffered writes can be large.)

• Don't look for newlines in the input until after you've found a match.

• Try to set things up (page-aligned buffers, page-sized read chunks,
  optionally use mmap) so the kernel can ALSO avoid copying the bytes.

The key to making programs fast is to make them do practically nothing. ;-)

Returns the ping, dns, SystemDNS, TLS certificate validity and HTTPS connection of the given URL.

A CLI alternative to classic GUI interfaces

edit 2024: the project got more flexibility.

• smartlog list only your commits
• one PR one with stacked commits (https://jg.gg/2018/09/29/stacked-diffs-versus-pull-requests/)

and more

Improve the quality of a picture using GAN. There are models for specialized pictures such as anime.

This project has a great roadmap with models for human faces and texts. More options: scaling et controllable restoration strength are on it too.

Mhmhmh ok ! I note the hyperfine command to benchmark the speed of cli commands :)

touch {hero,lightbox,form,another-component}.njk

Ok. A more or less dropdown in the terminal that provides the next word possible

Same as remove.bg (removing a background of an image), but in the CLI:

pip install rembg
curl -s http://input.png | rembg > output.png # from an external source
rembg -o path/to/output.png path/to/input.png # from a file
rembg -p path/to/input path/to/output # convert an entire directory

Easy to use cli text editor.
Aims to be more powerful than nano but easier to use than vim.

More than the half under 50. The next 40% between 18 und 29 year old.

I really enjoy the explanation on how to use pushd and popd to navigate between directories.
After pushd, it is possible de navigate through cd ~n with n the index of the path in the stack.

cd - to return to the previous path :)

Generate a regex based on examples 👍

jq est aussi disponible via snap 👌

crontab -e puis ajouter la ligne à la fin: @reboot date >> ~/reboot_dates.txt

On peut donc lancer des commandes au démarrage du serveur avec @reboot dans la crontab 👍

Un outil en ligne de commande pour être plus efficace avec git.

En attendant, j'utilise Fork pour le côté professionnel, et je reste en CLI simple pour les projets personnels. C'est peut-être l'outil dont j'avais besoin au lieu de Fork ! Sous le coude, car ses commandes ressemblent à celles de git, et elle sont plus lisible pour les humains. Et c'est ce dont on a besoin avec git !