Merge requests · redox-os / ion

Use liner for the calc builtin rather than manipulating stdout directly

!1088 · created Jul 02, 2019 by AdminXVII
- Merged
updated Jul 03, 2019
Add links for library usage in the README

!1087 · created Jul 01, 2019 by AdminXVII
- Merged
updated Jul 03, 2019
Typos

!1099 · created Jul 03, 2019 by Ilmu
- Merged
updated Jul 03, 2019
Use a more descriptive name for is_background_shell

!1092 · created Jul 02, 2019 by AdminXVII
- Merged
updated Jul 02, 2019
Add a first example for library users

!1085 · created Jun 28, 2019 by AdminXVII
- Merged
- 2
updated Jun 30, 2019
Reduce error depth

!1082 · created Jun 28, 2019 by AdminXVII
- Merged
updated Jun 30, 2019
Don't set a new pgrp if the terminal already controls the tty

!1086 · created Jun 30, 2019 by AdminXVII
- Merged
updated Jun 30, 2019
Make function clones a lot cheaper

!1084 · created Jun 28, 2019 by AdminXVII
- Merged
- 2
updated Jun 28, 2019
Add a pre-command callback & use generic to separate pipelines

!1083 · created Jun 28, 2019 by AdminXVII
- Merged
updated Jun 28, 2019
Abort script on command not found

!1080 · created Jun 28, 2019 by AdminXVII
- Merged
updated Jun 28, 2019
Use the std-native functions instead of hand-rolled ones

!1079 · created Jun 27, 2019 by AdminXVII
- Merged
- 1
updated Jun 28, 2019
Truncate file when not appending

!1081 · created Jun 28, 2019 by AdminXVII
- Merged
updated Jun 28, 2019
Merge more error types, use the std FromStr trait and use by-module Error types

!1078 · created Jun 27, 2019 by AdminXVII
- Merged
updated Jun 27, 2019
Merge/remove error types

!1077 · created Jun 27, 2019 by AdminXVII
- Merged
updated Jun 27, 2019
Use nix

!1076 · created Jun 27, 2019 by AdminXVII
- Merged
updated Jun 27, 2019
:bug: The set_unique_pid was removed, but it was necessary

!1075 · created Jun 26, 2019 by AdminXVII
- Merged
updated Jun 26, 2019
Remove a left out comment in completion

!1074 · created Jun 26, 2019 by AdminXVII
- Merged
updated Jun 26, 2019
Apply clippy in pedantic mode

!1073 · created Jun 26, 2019 by AdminXVII
- Merged
updated Jun 26, 2019
Add bugs and authors sections

!1072 · created Jun 25, 2019 by AdminXVII
- Merged
updated Jun 25, 2019
Finish documenting the public API

!1071 · created Jun 25, 2019 by AdminXVII
- Merged
updated Jun 25, 2019