jali/PiDP10Services
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
PiDP10Services/README.md

2.8 KiB
Raw Permalink Blame History

PiDP 10 Services

Overview

This repository combines a set of useful scripts and services, to run on the PiDP-10 in order to make it easier to work with it and develop for it. These services can be installed on the PiDP-10 and automate tasks such as copying files onto the ITS operating system. These tools help automate processes, that would require interaction with the Linux part of the PiDP-10 when developing on another system.

git-monitor

The git-monitor is a system service that monitors a target directory on the PiDP-10. It contains a file with a list of git repositories to monitor, one at a time. The service will check if any of the repositories changed, and pull them. After a successful pull a script will be called, if it exists, that allows the newly updated repository to interact with a running PDP-10 simulation.

The monitor consists of a script, that needs to be installed to /usr/local/bin and a systemd unit-file to run it as a service.

Installation

To install the git-monitor, clone this repository to the target computer, and run the install script:

git clone https://gitea.orca-central.de/jali/PiDP10Services.git
sudo ./install.sh

This will install the service on your system and start it. If you want the service to be enabled on system boot, enable the service:

sudo systemctl enable git-monitor.service

Configuration

The service is usable immediately after installation. The service is configured through a series of environment variables, that can be set to change the default behaviour. There are five different environment variables to configure the service with:

Environment Variable Description Default Value
GITMONITOR_URLS A file that contains the list of observed repositories in a directory by name and URL. /opt/src/repository.list
GITMONITOR_LOCAL_PATH The path in which the clone repositories will be stored. /opt/src
GITMONITOR_BRANCH_NAME The name of the branch to observe. develop
GITMONITOR_POLL_INTERVALL The number of seconds to wait until the next poll. 30
GITMONITOR_LOCK_FILE The lock file that is used to monitor the service. /run/lock/git-monitor.lock

You can override these settings by creating an override file for the service unit. Create a new file /etc/serviced/service/git-monitor.service.d/override.conf by typing sudo systemctl edit git-monitor.service. You can then uncomment the Environment statements, and change the value of the variables accordingly.