Skip to content
Sign UpLog In
Profile icon

tcramer

@tcramer
Repls
Community
tcramer
tcramer
shared a Post
3 years ago
How do you change the name of a file??
I edited the name and the d/l zip file was named main.py; perhaps because this is a free service - but I can't change the .py file name in my Linux di
TheBestTaran
TheBestTaran
fork your repl and rename1 year ago
Atomic-Gamming
Atomic-Gamming
You can't rename the main file but your can rename every other file's name3 years ago
eco27
eco27
its main.py because when running the program main.py will always be executed. its just a convention so dont change the file name, just like how javascript there is always an index.js3 years ago
tcramer
tcramer
shared a Post
3 years ago
I can't find the download or save as commands. I am doing this for a class and need the python file.
age 3-1.py
Python
bossotron13
bossotron13
Click the file icon at the top left, then at the top there are 3 icons, click the 3 dots icon and click download as zip. if this answered your question please click the checkmark next to my comment.3 years ago