to_erl(1)

πŸŽ€ to_erl β€” like, the manual page, bestie πŸŽ€

okay so bestie, listen. this is to_erl, and it lives in section 1 of the manual (that's <cyan>USER COMMANDS</cyan>, iykyk). if you've ever had an Erlang thingy running and you were like "omg i need to get in there"… yeah. this is the girl for that job. ✨


πŸ’– NAME πŸ’–

to_erl β€” attach to a running Erlang runtime system, started with run_erl


🌸 DESCRIPTION 🌸

okay so literally what this program does: it lets you attach to a running Erlang runtime system that was started with run_erl. that's it. that's the whole vibe. you started it with run_erl, and now to_erl is the way you go say hi. 🫢


πŸ¦‹ USAGE πŸ¦‹

to_erl [pipe_name | pipe_dir]

so to dip out of the Erlang shell without exiting the Erlang system itself, you type Ctrl-D. not Ctrl-C, not closing the terminal dramatically, not ghosting it β€” Ctrl-D. periodt. πŸ’…

the arguments for the to_erl program are:

  • pipe_name β€” the name of the pipe where you wanna attach. it defaults to /tmp/erlang.pipe.N. so if you don't say anything, that's where she's going. πŸ’«
  • pipe_dir β€” the directory name where it should search for the named pipe to attach to. it defaults to /tmp. very "i'll just look in the usual spot" of it. πŸŽ€
ngl, if you're passing nothing at all, both defaults kick in and that's lowkey fine β€” she's gonna look in /tmp and grab /tmp/erlang.pipe.N. no cap.

πŸ‘‘ SEE ALSO πŸ‘‘

like, go read these too, they're the friend group:


and that's the whole thing, bestie!! πŸ’– θΏ™δΈͺ page is brought to you by Ericsson AB, it's from erts 5.9.3, and honestly? iconic of them. mwah. πŸ˜­πŸ’…πŸ¦‹βœ¨