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