https://github.com/edrf12/leangame-easysave
Save and Load buttons for the Lean Game Server
https://github.com/edrf12/leangame-easysave
lean4 userscript
Last synced: 2 months ago
JSON representation
Save and Load buttons for the Lean Game Server
- Host: GitHub
- URL: https://github.com/edrf12/leangame-easysave
- Owner: edrf12
- Created: 2025-08-13T22:30:08.000Z (10 months ago)
- Default Branch: main
- Last Pushed: 2025-09-12T21:35:41.000Z (9 months ago)
- Last Synced: 2025-09-25T21:35:58.397Z (9 months ago)
- Topics: lean4, userscript
- Language: JavaScript
- Homepage: https://adam.math.hhu.de
- Size: 15.6 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Easy Save for Lean Game Server
This UserScript adds a save and load button to the games on the Lean Game Server (https://adam.math.hhu.de), allowing for easy GitHub synchronization of your progress.
## Installation
To install this you must have a User Script Manager in your browser, there are many but this script was created using [TamperMonkey](https://www.tampermonkey.net)
After you have installed the extension you may click the link below.
[Install](https://github.com/edrf12/leangame-easysave/raw/main/EasySaveLGS.user.js)
## Usage
Using this script is pretty simple, there are three functionalities: [Login](#login), [Save](#save) and [Load](#load).
### Login
- Open a game in the [Lean Game Server](https://adam.math.hhu.de);
- Click the Login button;
- You will be asked for the name of the repository you wish to save your progress to;
- A device code will be copied to your clipboard and will be shown on your screen, if you want you can make sure it is copied;
- Once the alert is closed a login window will be opened, enter the device code when prompted;
- When the Login button changes to Logout you are logged in.
### Save
- Go to the game's homepage;
- Click the save button;
- You will be asked for the commit message of this save;
- The script will let you know once the save has occured.
### Load
- Go to the game's homepage;
- Click the load button;
- Once the load is complete the page will reload.