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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

global: separate commands and output and [more] #23

Merged
merged 1 commit into from
Feb 27, 2020

Commits on Feb 26, 2020

  1. global: separate commands and output and [more]

    - Separate commands to be entered (`bash` syntax to pop) and
      returned output (`console` syntax to be muted), so that commands can be
      copied via the clipboard icon directly. Closes inveniosoftware#6
    - Removed permission configuration advanced example temporarily given it wasn't
      working.
    - Documented more details of the workflow:
        * how checking for running containers incurs a 30s delay
        * how server must be stopped and started whenever invenio.cfg is changed
    - Moved some small sections around for clarity and focus.
    - Did a pass at all syntax highlighting in develop/ to make everything pop
      as much as possible (jsx doesn't work so broken js was used for jsx 馃し)
    fenekku committed Feb 26, 2020
    Configuration menu
    Copy the full SHA
    c138f86 View commit details
    Browse the repository at this point in the history