• @[email protected]
    link
    fedilink
    15 months ago

    Don’t need the terminal for that. I can use Google Files to rename a pdf to .txt and it opens in a text editor