dakni.eu

Posts tagged "pipe":

Some command line magic

11 Sep 2020

Suppose you want to remove some files spread across your computer that share the same name. In my case, these were files called TAGS. Two things are required:

...
Tags: fd terminal pipe
Other posts