Total noob here. I wanted to change the file type of a document I have and clicked on “save as”. When the save window appeared, i didn’t see a drop down menu for selecting the new file type nor did i see anything on the window that would allow for such a change. I am using Ubuntu 20.04. Any help would be appreciated
No File Type Options When saving
bschaaf
#2
This is done on purpose as the list of possible extensions is too long for a proper user experience. Instead you’ll need to manually type the file extension.
0 Likes
bitsper2nd
#3
You might want to try out this plugin. The alternative would be to set syntax manually before saving the file.
0 Likes