What shell do you guys use? - BSD

Users browsing this thread: 2 Guest(s)
josuah
Long time nixers
Small tip: the most critical information that is missing from any default shell, in a portable way: the last command error code.

I do it this way:
Code:
% PS1='%${?#0} '
% true
% false
%1 true
% ^C
%130 true
%

The magic: $? contains the last error code, but having a "0" displayed all of the time is not nice, so to strip it, the parameter expansion ${var#glob} [1] strips the leading "0", which only appears for one value: 0: it remove the code when it is 0.

This is a bit tweaked and not very flexible, but very portable (for sh, no immediate equivalent for rc), and helps with catching "ok, there are error messages, but did 'make' return 1 or 0? Ah shit I did an 'ls', this long compilation exit code is lost forever!".

Another extremely useful (at times) feature is showing the date in the prompt: reason: it permits to measure time of execution of commands even when you forgot to run "date" before and after or run the command with a leading "time": "I let the command run the whole night and it worked! but... did it take 5 minutes or 5 hours? No can tell!"

Another extremely feature of the terminal st(1) (a bit off-topic, sorry), is the "-o iofile" flag that logs every I/O to a file.
Life-saver! I had 5GB of shell logs, but I have 100GB of free disk space, so why bother... On the other hand: "ok, I'm pushing the configuration to the router over ssh, let's review it once *issue a dump conf command on the router* all good, apply, still works... disconnect from router and call it a day! *client calls angry telling the network is dead* what? wait a minute... uh oh, no more ssh access, and I closed the terminal with the backlog, I do not know what went wrong, time to drive for 2h to the client's place with a new router at hand! Ah, no I do have the terminal I/O recording the conf dump command I did, and the exact sequence of commands I entered, including those of 5 days ago for fixing the same problem."

[1]: https://pubs.opengroup.org/onlinepubs/96...g_18_06_02


Messages In This Thread
RE: What shell do you guys use? - by smlb - 30-07-2014, 12:10 PM
RE: What shell do you guys use? - by eye - 30-07-2014, 12:12 PM
RE: What shell do you guys use? - by kirby - 30-07-2014, 07:22 PM
RE: What shell do you guys use? - by dcli - 30-07-2014, 08:42 PM
RE: What shell do you guys use? - by casscode - 31-07-2014, 06:40 AM
RE: What shell do you guys use? - by shtols - 31-07-2014, 11:08 AM
RE: What shell do you guys use? - by dcli - 31-07-2014, 01:16 PM
RE: What shell do you guys use? - by z3bra - 31-07-2014, 07:16 PM
RE: What shell do you guys use? - by jobss - 10-10-2014, 08:41 AM
RE: What shell do you guys use? - by xero - 10-10-2014, 10:57 AM
RE: What shell do you guys use? - by nopc0de - 11-10-2014, 01:58 PM
RE: What shell do you guys use? - by b4dtR1p - 12-10-2014, 09:15 AM
RE: What shell do you guys use? - by projektile - 13-10-2014, 03:13 AM
RE: What shell do you guys use? - by dcat - 13-10-2014, 09:40 AM
RE: What shell do you guys use? - by venam - 13-10-2014, 10:29 AM
RE: What shell do you guys use? - by z3bra - 13-10-2014, 01:01 PM
RE: What shell do you guys use? - by nrmc.dubz - 13-10-2014, 08:41 PM
RE: What shell do you guys use? - by delucks - 17-10-2014, 01:10 PM
RE: What shell do you guys use? - by sodaphish - 29-10-2014, 11:14 PM
RE: What shell do you guys use? - by exp0sure - 31-10-2014, 04:27 PM
RE: What shell do you guys use? - by rwzy - 07-11-2014, 01:41 AM
RE: What shell do you guys use? - by kaludis - 21-01-2015, 08:05 PM
RE: What shell do you guys use? - by cadav3rous - 23-04-2017, 02:48 AM
RE: What shell do you guys use? - by Mafia - 23-04-2017, 04:06 AM
RE: What shell do you guys use? - by rocx - 23-04-2017, 11:33 AM
RE: What shell do you guys use? - by Tmplt - 23-04-2017, 12:11 PM
RE: What shell do you guys use? - by jkl - 23-04-2017, 01:52 PM
RE: What shell do you guys use? - by robotchaos - 23-04-2017, 05:49 PM
RE: What shell do you guys use? - by r4ndom - 24-04-2017, 06:22 AM
RE: What shell do you guys use? - by evbo - 24-04-2017, 12:24 PM
RE: What shell do you guys use? - by jvarg - 24-04-2017, 01:51 PM
RE: What shell do you guys use? - by robotchaos - 24-04-2017, 02:33 PM
RE: What shell do you guys use? - by jvarg - 25-04-2017, 04:00 AM
RE: What shell do you guys use? - by r4ndom - 25-04-2017, 05:54 AM
RE: What shell do you guys use? - by z3bra - 25-04-2017, 06:11 AM
RE: What shell do you guys use? - by venam - 25-04-2017, 06:25 AM
RE: What shell do you guys use? - by robotchaos - 25-04-2017, 12:59 PM
RE: What shell do you guys use? - by rocx - 25-04-2017, 03:27 PM
RE: What shell do you guys use? - by robotchaos - 25-04-2017, 03:34 PM
RE: What shell do you guys use? - by dragomir - 25-04-2017, 05:49 PM
RE: What shell do you guys use? - by drkhsh - 28-04-2017, 07:38 PM
RE: What shell do you guys use? - by jkl - 02-06-2020, 09:37 AM
RE: What shell do you guys use? - by z3bra - 02-06-2020, 10:06 AM
RE: What shell do you guys use? - by jkl - 02-06-2020, 10:22 AM
RE: What shell do you guys use? - by twee - 02-06-2020, 06:57 PM
RE: What shell do you guys use? - by jkl - 03-06-2020, 01:44 AM
RE: What shell do you guys use? - by twee - 03-06-2020, 06:47 AM
RE: What shell do you guys use? - by jkl - 03-06-2020, 06:51 AM
RE: What shell do you guys use? - by wolf - 06-06-2020, 10:38 AM
RE: What shell do you guys use? - by jkl - 06-06-2020, 10:48 AM
RE: What shell do you guys use? - by ckester - 06-06-2020, 12:31 PM
RE: What shell do you guys use? - by wolf - 06-06-2020, 01:23 PM
RE: What shell do you guys use? - by jkl - 06-06-2020, 04:01 PM
RE: What shell do you guys use? - by twee - 06-06-2020, 05:15 PM
RE: What shell do you guys use? - by banna - 11-06-2020, 01:24 AM
RE: What shell do you guys use? - by seninha - 14-06-2020, 09:54 AM
RE: What shell do you guys use? - by wolf - 18-06-2020, 03:08 PM
RE: What shell do you guys use? - by wolf - 18-06-2020, 03:10 PM
RE: What shell do you guys use? - by jkl - 18-06-2020, 03:13 PM
RE: What shell do you guys use? - by pkal - 18-06-2020, 04:15 PM
RE: What shell do you guys use? - by wolf - 18-06-2020, 04:45 PM
RE: What shell do you guys use? - by seninha - 21-06-2020, 12:21 PM
RE: What shell do you guys use? - by eadwardus - 05-07-2020, 03:08 PM
RE: What shell do you guys use? - by pkal - 08-07-2020, 08:16 AM
RE: What shell do you guys use? - by seninha - 08-07-2020, 09:14 PM
RE: What shell do you guys use? - by jkl - 09-07-2020, 01:50 AM
RE: What shell do you guys use? - by jkl - 01-10-2020, 05:52 AM
RE: What shell do you guys use? - by injinj - 01-10-2020, 07:19 AM
RE: What shell do you guys use? - by jkl - 01-10-2020, 08:44 AM
RE: What shell do you guys use? - by injinj - 01-10-2020, 05:48 PM
RE: What shell do you guys use? - by pyratebeard - 02-10-2020, 06:11 AM
RE: What shell do you guys use? - by jkl - 02-10-2020, 06:27 AM
RE: What shell do you guys use? - by injinj - 02-10-2020, 06:54 AM
RE: What shell do you guys use? - by venam - 02-10-2020, 06:56 AM
RE: What shell do you guys use? - by injinj - 02-10-2020, 12:46 PM
RE: What shell do you guys use? - by ols - 15-11-2020, 04:30 PM
RE: What shell do you guys use? - by jkl - 15-11-2020, 05:47 PM
RE: What shell do you guys use? - by ols - 15-11-2020, 06:20 PM
RE: What shell do you guys use? - by mattrose - 15-11-2020, 09:40 PM
RE: What shell do you guys use? - by yakumo.izuru - 23-04-2022, 07:11 PM
RE: What shell do you guys use? - by Shrek - 24-04-2022, 11:22 AM
RE: What shell do you guys use? - by ckester - 24-04-2022, 03:35 PM
RE: What shell do you guys use? - by jkl - 27-04-2022, 05:02 AM
RE: What shell do you guys use? - by jkl - 12-09-2022, 12:34 PM
RE: What shell do you guys use? - by josuah - 16-09-2022, 07:54 AM
RE: What shell do you guys use? - by josuah - 16-09-2022, 08:10 AM
RE: What shell do you guys use? - by jkl - 16-09-2022, 11:57 AM
RE: What shell do you guys use? - by seninha - 16-09-2022, 07:23 PM
RE: What shell do you guys use? - by tool - 27-09-2022, 08:01 AM
RE: What shell do you guys use? - by jkl - 27-03-2023, 06:35 PM
RE: What shell do you guys use? - by seninha - 29-03-2023, 04:45 AM
RE: What shell do you guys use? - by jkl - 07-04-2023, 07:57 PM
RE: What shell do you guys use? - by jkl - 11-06-2023, 08:57 PM
RE: What shell do you guys use? - by rocx - 12-06-2023, 03:41 PM
RE: What shell do you guys use? - by jkl - 12-06-2023, 05:30 PM
RE: What shell do you guys use? - by rocx - 19-06-2023, 07:14 PM
RE: What shell do you guys use? - by x0ba - 08-08-2023, 02:31 AM
RE: What shell do you guys use? - by Dworin - 26-08-2023, 06:47 AM
RE: What shell do you guys use? - by jkl - 04-09-2023, 02:46 PM
RE: What shell do you guys use? - by Dworin - 09-09-2023, 11:21 AM
RE: What shell do you guys use? - by jkl - 09-09-2023, 01:52 PM
RE: What shell do you guys use? - by Dworin - 11-09-2023, 05:38 AM
RE: What shell do you guys use? - by z3bra - 12-09-2023, 12:49 PM
RE: What shell do you guys use? - by santafe - 12-09-2023, 03:43 PM
RE: What shell do you guys use? - by jkl - 13-09-2023, 11:35 AM
RE: What shell do you guys use? - by santafe - 13-09-2023, 04:37 PM
RE: What shell do you guys use? - by jkl - 13-09-2023, 06:18 PM
RE: What shell do you guys use? - by ckester - 14-09-2023, 12:07 AM
RE: What shell do you guys use? - by rocx - 16-09-2023, 03:23 PM
RE: What shell do you guys use? - by ckester - 16-09-2023, 09:56 PM
RE: What shell do you guys use? - by venam - 17-09-2023, 01:32 AM
RE: What shell do you guys use? - by ckester - 18-09-2023, 02:21 PM
RE: What shell do you guys use? - by jkl - 18-09-2023, 04:30 PM
RE: What shell do you guys use? - by ckester - 18-09-2023, 06:00 PM