• Bene7rddso@feddit.de
    link
    fedilink
    arrow-up
    1
    ·
    5 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