usr
/
bin
➕ New
📤 Upload
✎ Editing:
egrep
← Back
#!/bin/sh grep=grep unset _EXECOPT _GREPOPT case $0 in */*) dir=${0%/*} if test -x "$dir/grep"; then PATH=$dir:$PATH grep=grep fi;; esac if [ "$GREP_LEGACY_EGREP_FGREP_PS" = 1 ]; then _EXECOPT="-a egrep" else _GREPOPT=-E fi exec $_EXECOPT $grep $_GREPOPT "$@"
💾 Save Changes
Cancel
📤 Upload File
×
Select File
Upload
Cancel
➕ Create New
×
Type
📄 File
📁 Folder
Name
Create
Cancel
✎ Rename Item
×
Current Name
New Name
Rename
Cancel
🔐 Change Permissions
×
Target File
Permission (e.g., 0755, 0644)
0755
0644
0777
Apply
Cancel