• dinodroid
    link
    fedilink
    English
    arrow-up
    3
    ·
    1 year ago

    These days I prefer rg (ripgrep) instead. However, i love to grep on servers.