smoosh icon indicating copy to clipboard operation
smoosh copied to clipboard

Published 20 hours ago • verified publisher icon mgree
→

Metadata

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

Results 23 smoosh issues
Sort by recently updated
recently updated
newest added

Buggy job control

3 comment

There are some bugs in interactive job control. - [x] https://github.com/mgree/smoosh/commit/ab3aa4d5320f59ec06a5c1045e42ddd57e3a2f09#diff-597a09bc85e5022f70eb206c759b4b85 was accidentlly using job control in pipes, breaking, e.g., `hostname | wc -l` - [ ] need to be...

mgree avatar mgree

bug

History

1 comment

Implement: - [x] Track history (can we integrate this with logging?) - [x] `Sh_nolog` - [ ] `HISTFILE` - [ ] `builtin_fc`

mgree avatar mgree

enhancement
POSIX

Bug in `val expanded_redir_has_stdin_redir : expanded_redir -> bool`?

Should those `1`s be `0`s? We should test carefully (and add tests). Is this somehow not in the POSIX test suite?

mgree avatar mgree

bug
good first issue

← Metadata

112
Stars
4
Forks
Watchers

Owner

verified publisher icon mgree

Metadata

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

Back