Dashboard
PHP:
8.0.30
OS:
Linux
User:
ws67185493
/
/
usr
/
bin
📤 Upload
📝 New File
📁 New Folder
Close
Editing: fgrep
#!/bin/sh cmd=${0##*/} exec grep -F "$@"
Save
Cancel