Are you sure you want to delete the file shell.rb?
| Name | Size | Permission | Action |
|---|---|---|---|
| actions | --- | 0755 | |
| core_ext | --- | 0755 | |
| line_editor | --- | 0755 | |
| parser | --- | 0755 | |
| shell | --- | 0755 | |
| actions.rb | 10356 bytes | 0644 | |
| base.rb | 24220 bytes | 0644 | |
| command.rb | 4645 bytes | 0644 | |
| error.rb | 943 bytes | 0644 | |
| group.rb | 9077 bytes | 0644 | |
| invocation.rb | 6199 bytes | 0644 | |
| line_editor.rb | 431 bytes | 0644 | |
| parser.rb | 218 bytes | 0644 | |
| rake_compat.rb | 2148 bytes | 0644 | |
| runner.rb | 10233 bytes | 0644 | |
| shell.rb | 2343 bytes | 0644 | |
| util.rb | 8706 bytes | 0644 | |
| version.rb | 45 bytes | 0644 |