this post was submitted on 19 Jun 2023
1 points (100.0% liked)

Linux

69 readers
1 users here now

founded 2 years ago
 

If you're a Linux user looking to make your desktop a bit more efficient, ddgr is a tool that can help you.

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here