Fix file extensions

3 files changed, 43 insertions, 0 deletions

diff --git a/bin/debian-build b/bin/debian-build
new file mode 100755
index 0000000..529d81a
--- /dev/null
+++ b/bin/debian-build
@@ -0,0 +1,8 @@
+#!/bin/bash
+#
+# Simpler debian builder.
+#
+
+# Placeholder
+echo "TODO"
+exit 1
diff --git a/bin/debian-dev-setup b/bin/debian-dev-setup
new file mode 100755
index 0000000..41f02a1
--- /dev/null
+++ b/bin/debian-dev-setup
@@ -0,0 +1,10 @@
+#!/bin/bash
+#
+# Setup development environment.
+#
+
+# Parameter
+PACKAGES="/var/data/apps/distros/debian/packages"
+
+# Required folders
+mkdir -p $PACKAGES
diff --git a/bin/debian-keyring-setup b/bin/debian-keyring-setup
new file mode 100755
index 0000000..7e00e89
--- /dev/null
+++ b/bin/debian-keyring-setup
@@ -0,0 +1,25 @@
+#!/bin/bash
+#
+# Setup a local debian-keyring repository.
+#
+
+# Parameters
+CWD="`pwd`"
+
+# Make sure the keyring repository is initialized
+git submodule update --init || exit 1
+
+# Go there
+cd keyring
+
+# Build the keyring
+make || exit 1
+
+# Symlink
+ln -s output/keyrings/debian-keyring.gpg output/keyrings/debian-keyring.gpg/trustedkeys.gpg || exit 1
+ln -s output/keyrings output/.gnupg                                                         || exit 1
+
+# Write devscripts configuration
+cat <<EOF > output/.devscripts
+DSCVERIFY_KEYRINGS="/usr/share/keyrings/debian-keyring.gpg:/usr/share/keyrings/debian-maintainers.gpg:$CWD/keyrings/debian-keyring.gpg"
+EOF