this post was submitted on 17 Jun 2026
-7 points (33.3% liked)

Explain Like I'm Five

21449 readers
92 users here now

Simplifying Complexity, One Answer at a Time!

Rules

  1. Be respectful and inclusive.
  2. No harassment, hate speech, or trolling.
  3. Engage in constructive discussions.
  4. Share relevant content.
  5. Follow guidelines and moderators' instructions.
  6. Use appropriate language and tone.
  7. Report violations.
  8. Foster a continuous learning environment.

founded 3 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] SpikesOtherDog@ani.social 1 points 10 hours ago (2 children)

They are using fish, FYI. Not sure how much of a difference this makes.

[–] LoveEspresso@retrofed.com 0 points 10 hours ago (1 children)
[–] Strider@lemmy.world 1 points 10 hours ago

Of course. It could work totally different from bash.

To be fair I saw some cool fish stuff and thought about using it but when maintaining a few thousand servers with bash its not viable to load an alternative shell to all of them.

[–] LoveEspresso@retrofed.com 0 points 10 hours ago (2 children)

The actual folder is 'folder'$'\003' .

[–] gravitas_deficiency@sh.itjust.works 7 points 10 hours ago* (last edited 10 hours ago) (1 children)

In that case, I think you want

rm -rf "'folder'\$'\\003'"

Note the double escape before 003, which will render to the character literal \

Alternatively, start typing

rm -rf \'fo

And then hit tab until fish autocompletes the directory you want to kill, and run it.

Side note: i would absolutely not tolerate directories named like that lol

[–] LoveEspresso@retrofed.com 2 points 8 hours ago

Thanks for the tip.

[–] hemko@lemmy.dbzer0.com 4 points 9 hours ago (1 children)

Is this some school task...? Why is there a folder with such a name 😅

[–] LoveEspresso@retrofed.com 3 points 8 hours ago

Apparently yes. I'm learning things on my own.