Import repository from Github to Gitlab

The import from an existing repository to Github in Gitlab is quickly done via the CLI. Works of course not only with Github and Gitlab. $ git clone --bare https://github.com/osism/testbed.git $ cd testbed.git $ git push --mirror...

Install Docker from Snap Store

$ sudo addgroup --system docker $ sudo adduser $USER docker $ newgrp docker $ sudo snap install docker 1234 $ sudo addgroup --system docker$ sudo adduser $USER docker$ newgrp docker$ sudo snap install docker Christian...

Font Awesome in Sphinx nutzen

Um Font Awesome in Sphinx nutzen zu können wird die Erweiterung sphinx_fontawesome benötigt. Diese zunächst mit pip install sphinx_fontawesome installieren und anschliessend die Erweiterung in der conf.py hinzufügen (extensions = ['sphinx_fontawesome']). Nun können...

Repositories einer GitHub Organisation anzeigen

Mit PyGitHub ist es möglich auf die GitHub API v3 via Python zuzugreifen. Mit pip install PyGitHub kann die Library installiert werden. import github gh = github.Github() for repository in gh.get_organization("osism").get_repos(): print(repository.full_name) 123456...