Merge requests · redox-os

Add terminal_size_pixels() to expose terminal's pixel size

termion!163 · created Jul 03, 2019 by rabite0
- Merged
updated Jul 06, 2019
Proper handling of signals

ion!1109 · created Jul 05, 2019 by AdminXVII
- Merged
updated Jul 06, 2019
If stdin is not the REPL, don't use the REPL for calc

ion!1108 · created Jul 05, 2019 by AdminXVII
- Merged
updated Jul 06, 2019
Make sure the manual page about builtins is kept updated

ion!1107 · created Jul 05, 2019 by AdminXVII
- Merged
updated Jul 06, 2019
Simpler & more efficient expand token

ion!1102 · created Jul 04, 2019 by AdminXVII
- Merged
updated Jul 06, 2019
Add ixgbed to Cargo.toml

drivers!47 · created Jul 05, 2019 by Simon Ellmann redox-unix
- Merged
updated Jul 05, 2019
Don't use fast command lane if the std pipes are no the defaults

ion!1105 · created Jul 05, 2019 by AdminXVII
- Merged
updated Jul 05, 2019
Fix floating-point struct

syscall!37 · created Jul 05, 2019 by jD91mZM2
- Merged
- 1
updated Jul 05, 2019
Feature/new shared history

ion!1103 · created Jul 04, 2019 by Steven Stanfield
- Merged
- 7
- 1
updated Jul 04, 2019
Use a finer-grained approach to setting the terminal leader

ion!1100 · created Jul 04, 2019 by AdminXVII
- Merged
updated Jul 04, 2019
Rollback a change that broke mmstick's system

ion!1101 · created Jul 04, 2019 by AdminXVII
- Merged
updated Jul 04, 2019
Clippy fixes

relibc!223 · created Jun 13, 2019 by Mateusz Mikuła
- Merged
updated Jul 04, 2019
Add the https://www.cons.org/cracauer/sigint.html signals test suite

ion!1098 · created Jul 03, 2019 by AdminXVII
- Merged
updated Jul 04, 2019
Reduce the number of shell options

ion!1091 · created Jul 02, 2019 by AdminXVII
- Merged
updated Jul 03, 2019
Non forking function capture

ion!1094 · created Jul 03, 2019 by AdminXVII
- Merged
- 1
updated Jul 03, 2019
Add default redirections for the shell and remove redundant checks

ion!1093 · created Jul 02, 2019 by AdminXVII
- Merged
updated Jul 03, 2019
Refactor the Makefile

ion!1097 · created Jul 03, 2019 by AdminXVII
- Merged
- 1
updated Jul 03, 2019
Use saner default completion

ion!1095 · created Jul 03, 2019 by AdminXVII
- Merged
- 1
updated Jul 03, 2019
More metadata

ion!1090 · created Jul 02, 2019 by AdminXVII
- Merged
updated Jul 03, 2019
Add callbacks for background events

ion!1089 · created Jul 02, 2019 by AdminXVII
- Merged
updated Jul 03, 2019