Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Overleaf v2 ? #9

Open
tobiasBora opened this issue Jan 7, 2019 · 5 comments
Open

Overleaf v2 ? #9

tobiasBora opened this issue Jan 7, 2019 · 5 comments

Comments

@tobiasBora
Copy link

tobiasBora commented Jan 7, 2019

Hello,

First, thanks a lot for this tool. I'd like to use it on overleaf v2 (overleaf merged with sharelatex), and this script does not work anymore for it. I'll try on my side to correct it, but if meanwhile you have some ideas it would be great!

Thanks!

@tobiasBora
Copy link
Author

In fact I just needed to replace all "www.sharelatex" with "fr.overleaf" and it worked. However, I was confused to see that this project is not really a "two-way" repository where you can work offline and push back your modifications... I'll try to make it that way ;)

@oogm
Copy link

oogm commented Jul 12, 2019

Hey, I just saw your comment, is there any update on this?

@zwzhao
Copy link

zwzhao commented Mar 19, 2020

Mark. Just got the overleaf version with three dockers, and trying to make this tool work.

@Jorl17
Copy link
Owner

Jorl17 commented Mar 19, 2020

Hi :) It's been a long long time since I developed this tool and I actually haven't used it ever since I left college and the research world. I am available for pull requests, though!

@tobiasBora
Copy link
Author

tobiasBora commented Mar 19, 2020

So I used to create a similar project here to solve this issue, and I added there some more stuff, notably the possibility to sync in both direction (this project just downloads the online content locally, but can't push local content to overleaf). My project is still supposed to work for download (because it just uses some GET request to get a zip file, even if I didn't tested it recently), but the push fonctionality is broken (at least it was a few month back), because to push I need to connect to a websocket, and for some reason I can't identify, I can't manage to connect to the socket anymore. So if anyone has some time, to understand what's wrong with this websocket, let me know!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants