46
TIL about /dev/full (en.wikipedia.org)
submitted 2 years ago by [email protected] to c/[email protected]

No, that's not a typo.

top 12 comments
sorted by: hot top new old
[-] [email protected] 11 points 2 years ago

My knowledge about useful/funny /dev files grows by the day...

I now know of: random & urandom, null, zero and now full...

Bouta make an infinity gauntlet meme of them

[-] [email protected] 9 points 2 years ago

Wait until you learn about the shell specific /dev "files" like /dev/udp and /dev/tcp (which can send/recv IP traffic as if from a file)!

[-] [email protected] 1 points 2 years ago

I am deeply intrigued

[-] [email protected] 1 points 2 years ago

DO IT, DO IT

[-] [email protected] 8 points 2 years ago

Maybe I can finally get my pull merged for /dev/grohl which just outputs random Foo Fighters lyrics.

[-] [email protected] 6 points 2 years ago

Can I get /dev/full as a service? I'm already paying a premium subscription for /dev/null as a service

[-] [email protected] 1 points 2 years ago

The shell script available for download in the Code section is just pure evil!

[-] [email protected] 3 points 2 years ago

The whole website is hilarious. That code finds a random file and deletes it with sudo. I'm gonna run it on a VM :)

sudo rm -rf "$(sudo find / -type f -print0 | shuf -n1 -z)"

[-] [email protected] 4 points 2 years ago

I learned something new. Thanks.

[-] [email protected] 3 points 2 years ago

So do you change your scripts to write to that to test what happens if a write didn't occur?

[-] [email protected] 1 points 2 years ago

The bottom of that Wikipedia page has a reference to something else that sounded interesting called “/dev/mordor” in some Plan 9 OS fork called 9front. Sent me down a really interesting rabbit hole http://9front.org/

[-] [email protected] 2 points 2 years ago

9front is a great rabbit hole. Plus, Plan9's mascot is Glenda, the rabbit.

this post was submitted on 21 Jun 2023
46 points (100.0% liked)

Linux

55675 readers
678 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 6 years ago
MODERATORS