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

Appimage back #1588

Draft
wants to merge 9 commits into
base: main
Choose a base branch
from
Draft

Appimage back #1588

wants to merge 9 commits into from

Commits on Dec 2, 2022

  1. ci: add appimage build again

    @rrooij
    rrooij committed Dec 2, 2022
    Configuration menu
    Copy the full SHA
    8544232 View commit details
    Browse the repository at this point in the history

  2. Enable autoloading 

    Using SWI Prolog without it is broken anyway and it needs to be
turned on for the AppImage as I can at least set it up to use
a correct SWI_HOME_DIR at runtime.
    @rrooij
    rrooij committed Dec 2, 2022
    Configuration menu
    Copy the full SHA
    e463e43 View commit details
    Browse the repository at this point in the history

  3. Set dashboard at runtime 

    Set dashboard path at runtime to allow AppImage dashboard to work
    @rrooij
    rrooij committed Dec 2, 2022
    Configuration menu
    Copy the full SHA
    f443921 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2022

  1. Merge branch 'main' into appimage

    @rrooij
    rrooij committed Dec 8, 2022
    Configuration menu
    Copy the full SHA
    77f2aa0 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2023

  1. Merge branch 'main' into appimage

    @GavinMendelGleason
    GavinMendelGleason committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    5f37adf View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2023

  1. Merge branch 'main' into appimage

    @rrooij
    rrooij committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    a58880c View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2023

  1. Merge branch 'main' into appimage

    @GavinMendelGleason
    GavinMendelGleason committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    45330ff View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2023

  1. Merge branch 'main' into appimage

    @GavinMendelGleason
    GavinMendelGleason committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    4218639 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2023

  1. Merge branch 'main' into appimage

    @GavinMendelGleason
    GavinMendelGleason committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    7c2d2cc View commit details
    Browse the repository at this point in the history