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

githubplugin: install and remove plugins from foreign GitHub repos #970

Merged
merged 31 commits into from
Nov 18, 2024

Conversation

Morg42
Copy link
Member

@Morg42 Morg42 commented Nov 7, 2024

Wie von @bmxp gewünscht, ermöglicht es dieses Plugin, andere Plugins aus fremden Repositories (Forks von smarthomeNG/plugins) herunterzuladen und zu installieren (und wieder zu löschen). Das kann das Ausprobieren, Testen und ggf. das Mitarbeiten an fremden Plugins vereinfachen.

Das gewünschte Repo kann über offene Pull Requests gegen smarthomeNG/plugins oder durch Auswahl des entsprechenden Forks und des Branches ausgewählt werden. Diese Daten werden jeweils von GitHub abgerufen. Das zu installierende Plugin wird als letztes ausgewählt.

Alle Interaktion erfolgen über das Web-Interface. Es können auch unterschiedliche Branches desselben Repositories parallel installiert werden, sofern das gewünscht ist. Durch die Verwendung von Worktrees wird dabei soweit wie möglich belegter Festplattenplatz eingespart.

Achtung: das Plugin nutzt (Unix-)Symlinks und ist nicht unter Windows getestet. Ich bitte daher, unter Windows die Installation und v.a. das Anlegen der Symlinks plugins/priv_<name> -> plugins/priv_repos/<owner>_wt_<branch>/<plugin> zu prüfen. Ggf. muss da eine funktionierende Alternative für Windows eingebaut werden!

offen: WebIf Übersetzung hinzufügen

@Morg42 Morg42 requested review from bmxp and onkelandy November 7, 2024 07:48
@Morg42 Morg42 self-assigned this Nov 7, 2024
Copy link
Member

@onkelandy onkelandy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There is still one issue when deleting one plugin. Mostly only happens once (after restart). Testes it with this PR, at least on 2nd try I get this error (again).

@Morg42 Morg42 merged commit 4cf6de0 into smarthomeNG:develop Nov 18, 2024
2 of 4 checks passed
@Morg42 Morg42 deleted the githubplugin branch November 19, 2024 21:49
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.

2 participants