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

Tech updates #16

Merged
merged 23 commits into from
Oct 17, 2018
Merged

Tech updates #16

merged 23 commits into from
Oct 17, 2018

Conversation

rromanovsky
Copy link

  1. Update dev environment
  2. Dynamically get the list of available formatter versions on server start
  3. Generate the default configs for all styles

Roman Romanovsky and others added 23 commits April 9, 2018 18:57
For local version make symlinks to bin
Added check for urls
For bin url search for several bin packages
Display found local version
Display found online releases
Some improvements in using pushd/popd
Added parcing for this option - it returns from server
Added preview for flags selection
TODO:
* better view
* Inactive for default
* Load/Save in configuration
….json (symlink was removed); Added Parcel packager;
Storing defaults in compact json format
@Skim-x-CAT
Copy link
Contributor

Skim-x-CAT commented Oct 16, 2018

Do some checks before merging - part of the script that checks available clang-versions is broken right now. Will look later this week.

@zed0 zed0 merged commit fdc1cef into zed0:master Oct 17, 2018
@zed0
Copy link
Owner

zed0 commented Oct 17, 2018

These have been merged along with a change to serve the frontend from the server, which should solve #14.

Thanks very much for these changes, much appreciated.

@zed0
Copy link
Owner

zed0 commented Oct 17, 2018

@Skim-x-CAT @rromanovsky Do you mind being added to the authors list?

@rromanovsky
Copy link
Author

@zed0 Sure I don't mind thanks! 😇
But as @Skim-x-CAT has mentioned we need to do some additional fixes for this pull request further

@zed0
Copy link
Owner

zed0 commented Oct 17, 2018

I'm not sure what the issue was with the setup script. I ran it a couple of time and sometimes it seemed not to download the source files, but I haven't managed to work out why yet.
However it worked sufficiently often for me to update the main site.

@Skim-x-CAT
Copy link
Contributor

@zed0 Glad that this worked for you. Still @rromanovsky promised to make changes to fix #17
And, yes, I don't mind.

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

Successfully merging this pull request may close these issues.

4 participants