1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
#! /bin/bash -euv
# Convenience variables.
package=gradio
home="`pwd`"
dest=debian/tmp
pkgdocdir=$dest/usr/doc/$package
# Make dir.
rm -rf $dest
install -d -m755 $dest
# Install binary.
install -d $dest/usr/X11R6/bin
install -s gradio $dest/usr/X11R6/bin
# Install manpages.
install -d $dest/usr/X11R6/man/man1
install -m644 gradio.1 $dest/usr/X11R6/man/man1
gzip -9v $dest/usr/X11R6/man/man1/*
# Copy docs.
install -d -m755 $pkgdocdir
install -m644 README $pkgdocdir
install -m644 Changes $pkgdocdir/changelog
install -m644 debian/changelog $pkgdocdir/changelog.Debian
gzip -9v $pkgdocdir/*
# Copy copyright.
install -m644 debian/copyright $pkgdocdir/copyright
# Dependencies.
install -d -m755 $dest/DEBIAN
dpkg-shlibdeps gradio
dpkg-gencontrol
# Set group, owner, and permissions.
chown -R root.root $dest
chmod -R go=rX $dest
# Make the package.
dpkg --build $dest ..
|
