diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-01-04 20:08:58 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-01-04 21:19:11 +0100 |
| commit | d41bfe6a8d678534b2c0db6b1f265facd1ff595e (patch) | |
| tree | 9b4ed0c59aa0c007a4106ba6e56064c7a80ea9de /debian/install | |
| parent | b2befe30c50f75cf227247521c23311dfac44c23 (diff) | |
| download | debian-edu-fai+itzks-d41bfe6a8d678534b2c0db6b1f265facd1ff595e.tar.gz debian-edu-fai+itzks-d41bfe6a8d678534b2c0db6b1f265facd1ff595e.tar.bz2 debian-edu-fai+itzks-d41bfe6a8d678534b2c0db6b1f265facd1ff595e.zip | |
debian/install: Install debian-edu-faiinstall into DEB package.
Diffstat (limited to 'debian/install')
| -rw-r--r-- | debian/install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/install b/debian/install index 5fc8973..742410a 100644 --- a/debian/install +++ b/debian/install @@ -2,3 +2,4 @@ conf/debian-edu/faiinstall.conf /etc/debian-edu/ conf/debian-edu/fai/ /etc/debian-edu/ conf/exports.d/debian-edu-fai.exports /usr/share/debian-edu-fai/exports.d/ fai/config /usr/share/debian-edu-fai/fai/ +bin/debian-edu-faiinstall |