You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
...command1...
REM UNKNOWN: {"type":"Redirect","op":{"text":">","type":"great"},"file":{"text":"/dev/null","type":"Word"}}
...command2... REM UNKNOWN: {"type":"Redirect","op":{"text":">","type":"great"},"file":{"text":"module.v","type":"Word"}}
...command3... REM UNKNOWN: {"type":"Redirect","op":{"text":"<","type":"less"},"file":{"text":"module.v","type":"Word"}}
I have tried this both with and without a space between the redirection operator and the file to/from which redirection is supposed to occur. This happens on Linux Mint 21.3.
For what it's worth, my original shell script is attached, though renamed with a .txt extension, since attachments with the extension .sh are not allowed by the issue-tracker: simulateModuleII.txt
The text was updated successfully, but these errors were encountered:
When converting a shell script to a batch file, no redirect is processed correctly. For example, my shell script contains the redirects
As I understand it, these should be converted in the batch file to
Instead, they are converted to
I have tried this both with and without a space between the redirection operator and the file to/from which redirection is supposed to occur. This happens on Linux Mint 21.3.
For what it's worth, my original shell script is attached, though renamed with a .txt extension, since attachments with the extension .sh are not allowed by the issue-tracker: simulateModuleII.txt
The text was updated successfully, but these errors were encountered: