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

Instructions for installing/preparing the environment #6

Merged
merged 41 commits into from
Aug 17, 2023
Merged

Instructions for installing/preparing the environment #6

merged 41 commits into from
Aug 17, 2023

Commits on Aug 16, 2023

  1. Initial text about prerequisites

    @lhstrh
    lhstrh committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    46bd18d View commit details
    Browse the repository at this point in the history

  2. More work on prerequisites

    @lhstrh
    lhstrh committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    085ae76 View commit details
    Browse the repository at this point in the history

  3. Minor edits

    @lhstrh
    lhstrh committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    d0182ba View commit details
    Browse the repository at this point in the history

  4. Udev rule

    @lhstrh
    lhstrh committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    669bcbe View commit details
    Browse the repository at this point in the history

  5. Made curl silent

    @lhstrh
    lhstrh committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    2be3fe1 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2023

  1. Add link to wormhole

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    41db861 View commit details
    Browse the repository at this point in the history

  2. Text about GitHub CLI

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    e2356a2 View commit details
    Browse the repository at this point in the history

  3. Remove dividers

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    45f3db2 View commit details
    Browse the repository at this point in the history

  4. Various fixes

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    048d38f View commit details
    Browse the repository at this point in the history

  5. More fixes

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    384c8c2 View commit details
    Browse the repository at this point in the history

  6. Change link

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    601e652 View commit details
    Browse the repository at this point in the history

  7. --

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    d72ba25 View commit details
    Browse the repository at this point in the history

  8. More reorganization

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    19ba9a0 View commit details
    Browse the repository at this point in the history

  9. Add missing files

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    2d8706e View commit details
    Browse the repository at this point in the history

  10. Remove unneeded file

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    c1df186 View commit details
    Browse the repository at this point in the history

  11. Notes for VM users

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    bfb366f View commit details
    Browse the repository at this point in the history

  12. Added notes in installing Lingua Franca

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    3ca550f View commit details
    Browse the repository at this point in the history

  13. Fix broken link

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    cf2aa74 View commit details
    Browse the repository at this point in the history

  14. Update authors

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    044452e View commit details
    Browse the repository at this point in the history

  15. Add reference to non-nix docs

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    c8a90f5 View commit details
    Browse the repository at this point in the history

  16. Recommend gh for VM users

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    b684f93 View commit details
    Browse the repository at this point in the history

  17. Add placeholder for notes for instructors

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    70b98ad View commit details
    Browse the repository at this point in the history

  18. Merge branch 'main' into installation

    @edwardalee
    edwardalee committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    ab13b26 View commit details
    Browse the repository at this point in the history

  19. Grammar fix

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    a959cac View commit details
    Browse the repository at this point in the history

  20. Update docs/src/GettingStarted.md 

    Co-authored-by: Edward A. Lee <eal@eecs.berkeley.edu>
    @lhstrh @edwardalee
    lhstrh and edwardalee authored Aug 17, 2023
    Configuration menu
    Copy the full SHA
    3be88a0 View commit details
    Browse the repository at this point in the history

  21. Remove links to localhost

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    abdf16c View commit details
    Browse the repository at this point in the history

  22. Describe compilation in VS Code

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    bc25a20 View commit details
    Browse the repository at this point in the history

  23. Added text to page for instructors

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    1732151 View commit details
    Browse the repository at this point in the history

  24. Add note about solutions

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    f6e3837 View commit details
    Browse the repository at this point in the history

  25. Address review comment

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    0087e79 View commit details
    Browse the repository at this point in the history

  26. Update docs/src/GettingStarted.md 

    Co-authored-by: Edward A. Lee <eal@eecs.berkeley.edu>
    @lhstrh @edwardalee
    lhstrh and edwardalee authored Aug 17, 2023
    Configuration menu
    Copy the full SHA
    a13a11e View commit details
    Browse the repository at this point in the history

  27. Update section on finding tty

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    881f8e0 View commit details
    Browse the repository at this point in the history

  28. Clarify language about authentication

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    81738ca View commit details
    Browse the repository at this point in the history

  29. Add missing image

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    f039932 View commit details
    Browse the repository at this point in the history

  30. Fix typos

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    b409366 View commit details
    Browse the repository at this point in the history

  31. Remove more stray LaTeX code

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    615c6fc View commit details
    Browse the repository at this point in the history

  32. More formatting issues

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    8897847 View commit details
    Browse the repository at this point in the history

  33. Add link to installation of GitHub CLI

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    df375f3 View commit details
    Browse the repository at this point in the history

  34. Small fix

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    5aad478 View commit details
    Browse the repository at this point in the history

  35. Remove extra formatting

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    36664be View commit details
    Browse the repository at this point in the history

  36. Mention gh in tip

    @lhstrh
    lhstrh committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    d667988 View commit details
    Browse the repository at this point in the history