Skip to content

geany/infrastructure

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

79 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Geany Infrastructure Scripts

The scripts in this repository are used for various purposes on geany.org.

Basically they provide some additional and cool functions like generating GIT commits emails, maintain the GIT mirror repository and similar tasks.

Add or remove a repository

If you want to add or remove a repository maintained by these scripts, follow these steps:

  • Edit the following files and find relevant repository information at the head of each file:

    • scripts/git_hooks/github_commit_mail.py
    • scripts/git_hooks/post_commit_hook.py
  • Update the infrastructure repository on geany.org (as user geany):

    cd /home/geany/infrastructure && git pull
    
  • Edit /usr/local/cgit/cgitrc on geany.org: at the end of the file, copy one of the existing repository stanzas and adjust the settings accordingly

  • Create a new GIT mirror repository (if needed): execute the following commands on geany.org as user root (and replace geany-themes with your repository name):

    cd /srv/www/git.geany.org/repos/
    git init --bare geany-themes.git
    cp /srv/www/git.geany.org/repos/geany.git/config /srv/www/git.geany.org/repos/geany-themes.git/
    mkdir /srv/www/git.geany.org/repos/geany-themes.git/_geany
    chmod 775 /srv/www/git.geany.org/repos/geany-themes.git/_geany
    chown geany:www-data /srv/www/git.geany.org/repos/geany-themes.git/_geany
    touch /srv/www/git.geany.org/repos/geany-themes.git/_geany/.update_required
    ln -s /srv/www/git.geany.org/repos/geany-themes.git/ /srv/www/git.geany.org/git/geany-themes
    chown -R www-data:www-data /srv/www/git.geany.org/repos/geany-themes.git
    chown www-data:geany /srv/www/git.geany.org/repos/geany-themes.git
    chmod 775 /srv/www/git.geany.org/repos/geany-themes.git
    chown geany:www-data /srv/www/git.geany.org/repos/geany-themes.git/_geany/.update_required
    chmod 664 /srv/www/git.geany.org/repos/geany-themes.git/_geany/.update_required
    
  • Edit /srv/www/git.geany.org/repos/geany-themes.git/config and adjust remote URL

  • Execute the following commands on geany.org as user root to update the repository:

    cd /srv/www/git.geany.org/repos/geany-themes.git
    sudo -u www-data git remote update
    sudo -u www-data git update-server-info
    
  • Open http://git.geany.org/ in your browser and check whether the new repository is visible and has files.

CI / Nightly-Builders

The builders directory contains Dockerfiles and scripts to create Debian packages as well as a cross-compiled Windows installer for Geany and Geany-Plugins. These scripts are used for the nightly builds, for details see builders/README.md.

License

Unless stated otherwise all code in this repository is licensed of under the terms of the GNU General Public License version 2 (see COPYING in this repository).

About

The infrastructure that powers geany.org and related services

Resources

License

Stars

Watchers

Forks

Releases

No releases published