Reminder: time to leave (and get a life)
AnthonyEnglish 270000RKFN Visits (4212)
One of the idiosyncrasies of software is the number of commands you have to to remember to exit. It could be exit, or quit, or bye, or logout, or ctrl-d, or maybe some other permutation. Imagine my horror, dear reader, when I sprang upon another exit command (or so I thought). The command is leave. But it's not exactly what you think. What leave does is simply send you a message reminding you to, well, log out (using exit / quit / logout / bye or ctrl-d) and get away. It sounds like the sort of command you need when you are working back, are about to head off to get a bite of dinner but you want to try just one more thing (which will only take 20 minutes), and end up ordering pizza at 1 am.
Here's the syntax:
If you do not specify a time, the leave command prompts with When do you have to leave? A reply of newline causes the leave command to exit; otherwise, the reply is assumed to be a time. This form is suitable for inclusion in a .l
Fascinating, isn't it? Now I'm going to see if you're still reading this post after the next command, which I am not sure is even correct syntax. We'll give it a go anyway: