What shell do you guys use? - BSD

Users browsing this thread: 21 Guest(s)
injinj injinj Offline | 01-10-2020, 07:19 AM | #69
Members
(01-10-2020, 05:52 AM)jkl Wrote: Currently testing: The rather usable ion shell from Redox OS (seems to be rather resource-hungry in its default configuration though) and the desh which is a fork of the es shell with some additional interactivity, namely: a NIH alternative to libreadline.

Both are mostly undocumented. That’s fun.

I ran the loop test:

Code:
; cat > loop2.es <<XX
> echo 'echo -n x' > test.sh
> let (i = 1) {
>   while {$$i :le 100} {
>     desh test.sh
>     i = <={%sum $$i 1}
>   }
> }
> echo x
> exit 0
> XX
; time desh loop2.es                                                    
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
0.08user 0.05system 0:00.14elapsed 100%CPU (0avgtext+0avgdata 4052maxresident)k
0inputs+8outputs (0major+24063minor)pagefaults 0swaps
; bash
$ time (for i in $(seq 1 1 100); do bash test.sh ; done)
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
real    0m0.080s
user    0m0.038s
sys     0m0.045s

Bash almost twice as fast.


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
RE: What shell do you guys use? - by r1w1s1 - 13-06-2024, 05:22 PM

View a Printable Version