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.

Sign up for GitHub

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

Jump to bottom

Devbox VM Updates #98

Closed
wants to merge 2 commits into from
Closed

Devbox VM Updates #98

wants to merge 2 commits into from

Commits on May 3, 2017

  1. Rev galaxy-extras for munge fix in galaxyproject/ansible-galaxy-extra… 

    …s#133.
    @jmchilton
    jmchilton committed May 3, 2017
    Configuration menu
    Copy the full SHA
    6dc802a View commit details
    Browse the repository at this point in the history

  2. Devbox VM Updates 

    - Disable scrollback on output (per #85).
- Increase lines of scrollback (per #85).
- Increase font size in terminal (per #85).
- Disable screensaver (per #85).
- Update to latest Ubuntu server 16.04 ISO.
- Update bash hacking to add Minicond3 instead of Miniconda2 to the path - use planemo to fetch it.
- Add symbolic links to Galaxy logs to the Desktop.
- Cleanup some codebox junk that wasn't deleted properly previously.
    @jmchilton
    jmchilton committed May 3, 2017
    Configuration menu
    Copy the full SHA
    b5eb4d6 View commit details
    Browse the repository at this point in the history