Hi,
SSH does not work - there are a couple of threads in this forum already and Jon also recommends working with https.
Below my personal notes on how to upload and exp to Pavlovia and make updates. Note, I am working on Linux.
-
Manual Upload to Gitlab/Pavlovia
• When you create an exp locally make sure you compile to JS. This will create the necessary files such as the exp.js, index file, browser-legacy files e.t.c.
• Visit https://gitlab.pavlovia.org/ and create an empty repository
• Choose the option Create blank project. In this example I called it tutorial
• Give it a name and press Create project at the bottom
• Click on the Clone button and copy the https link, in this case, https://gitlab.pavlovia.org/Yiannis_A/tutorial.git
• In your terminal create a folder, say /Documents/TutorialFolder, cd into it andtype ~git clone https://gitlab.pavlovia.org/Yiannis_A/tutorial.git
. Type your credentials when asked to do so. For the next steps do so every time you are asked.
• This will create a sub dir, in my case it is called tutorial. cd into it.
• Copy all the files found in your exp folder in this folder
• Typegit add *
• Typegit commit -m "First commit"
or any other comment you want
• Typegit push -u origin master
• If you now visit https://gitlab.pavlovia.org/Yiannis_A/tutorial.git you will find that the repository is now populated with your files. And if you visit Pavlovia you will find a project with the same name, in my case it is called tutorial. -
Updating the exp and syncing with gitlab
• IMPORTANT: Before you make any changes and push them, make sure you first download any data from the remote. Rungit pull origin master
• If you make a change to your exp make sure you compile the js again.
◦ Then rungit add files_that_have_been_changed
◦ Followed bygit commit -m "Comment"
◦ Followed bygit push -u origin master
• If you want to add files
◦ Add them to the folder and then typegit add filename
◦ Followed bygit commit -m "Comment"
◦ Followed bygit push -u orgin master
• If you run the exp and want to pull the data run git pull origin master to download the data
• If you want to remove the datafolder:
◦ Delete the folder locally. Better runsudo gio trash data/*
rather thansudo rm -rf data
so it is moved to trash and not get deleted permantly
◦ Then you have to tell git that this was removed. To do so rungit rm data/*
◦ Then rungit commit -m "Comment"
◦ Finally rungit push -u origin master