What shell do you guys use? - BSD

Users browsing this thread: 5 Guest(s)
jkl jkl Offline | 12-09-2022, 12:34 PM | #85
Long time nixers
(03-06-2020, 01:44 AM)jkl Wrote: rc is quite awesome on Plan 9 because all of its history commands are meant to be used with mouse chords. But I couldn’t even modify its prompt easily.

FWIW, I found out how to modify the prompt...:

1. Performance and resource usage

Code:
time (for i in $(seq 1 1 100); do rc test.sh; done)

Code:
real    0m0.093s
user    0m0.087s
sys     0m0.019s

vsz: 6504. Not bad.

2. Real-life test

Configuration ($HOME/.rcrc):

Code:
LANG=(de_DE.UTF-8)
TERM=(xterm-256color)
path=(/bin /sbin /usr/bin /usr/sbin /usr/local/bin /usr/local/sbin /opt/local/bin $home/bin)

## Define the $prompt
prompt=('
'$USER'@'`hostname':'`pwd'
; ' '')

## Function definitions
## Reload the config file:
fn reload {
    . $home/.rcrc
}

## Update the prompt while cd:
fn cd {
    builtin cd $*
    && reload
}

Globbing: cd */*oo* moves into "shelltest/Foo".
Tab-completion: cd sh<tab>f<tab> does not work. I wonder if I could write a function to fix that.
History:
- Ctrl+R sh<Enter> performs cd shelltest/Foo.
- !! seems to not do anything (but I haven't even used that in the past few months).
- !-3 does neither (but I haven't even used that in the past few months).
Dependencies (on Debian Linux): libc, libreadline.

I like how rc does not misbehave just by feeding it an exclamation mark - the one thing that annoys me with the tcsh. I might keep it, I'll play with it for a while.


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