Merge requests · redox-os / ion

Use the more optimized select function from range in split

!1010 · created May 30, 2019 by AdminXVII
- Merged
updated May 30, 2019
Rework pushd popd

!1007 · created May 30, 2019 by AdminXVII
- Merged
updated May 30, 2019
Fix the panic on start

!1008 · created May 30, 2019 by AdminXVII
- Merged
updated May 30, 2019
Use the new liner version

!1005 · created May 29, 2019 by AdminXVII
- Merged
updated May 29, 2019
Remove usage of unsafe in readline & move escape functions

!1006 · created May 29, 2019 by AdminXVII
- Merged
updated May 29, 2019
Move binary

!1004 · created May 29, 2019 by AdminXVII
- Merged
updated May 29, 2019
Separate Expander implementation and remove the newtype for flow_control

!1003 · created May 29, 2019 by AdminXVII
- Merged
updated May 29, 2019
Move the expansion methods in a private trait

!1001 · created May 28, 2019 by AdminXVII
- Merged
- 1
updated May 29, 2019
Change visibility of components

!1002 · created May 29, 2019 by AdminXVII
- Merged
- 1
updated May 29, 2019
Make sure the bool builtin does not panic on an empty slice

!1000 · created May 28, 2019 by AdminXVII
- Merged
updated May 28, 2019
Remove Heredocs

!997 · created May 27, 2019 by AdminXVII
- Merged
- 1
updated May 28, 2019
Move the scopes to a new member crate

!999 · created May 27, 2019 by AdminXVII
- Merged
updated May 27, 2019
Refer to regularly updated crates directly

!998 · created May 27, 2019 by AdminXVII
- Merged
updated May 27, 2019
No drain collect

!996 · created May 27, 2019 by AdminXVII
- Merged
updated May 27, 2019
Don't exit a blockquote if Ctrl-D is pressed in a multiline statement

!995 · created May 26, 2019 by AdminXVII
- Merged
updated May 26, 2019
Add builtin to change key bindings at runtime

!994 · created May 26, 2019 by AdminXVII
- Merged
updated May 26, 2019
Create empty config file ("initrc") if it does not exist

!993 · created May 24, 2019 by Alex Tokarev
- Merged
updated May 24, 2019
Refactor pipeexec

!992 · created May 21, 2019 by AdminXVII
- Merged
- 1
- 1
updated May 21, 2019
Some cleanup

!991 · created May 20, 2019 by AdminXVII
- Merged
updated May 20, 2019
Group the various builtins in smaller categories

!990 · created May 14, 2019 by AdminXVII
- Merged
updated May 14, 2019