# GNU Guix --- Functional package management for GNU
# Copyright © 2013, 2014 Ludovic Courtès <ludo@gnu.org>
#
# This file is part of GNU Guix.
#
# GNU Guix is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or (at
# your option) any later version.
#
# GNU Guix is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

#
# Test the 'guix authenticate' command-line utility.
#

guix authenticate --version

sig="t-signature-$$"
hash="t-hash-$$"
rm -f "$sig" "$hash"

trap 'rm -f "$sig" "$hash"' EXIT

# A hexadecimal string as long as a sha256 hash.
echo "2749f0ea9f26c6c7be746a9cff8fa4c2f2a02b000070dba78429e9a11f87c6eb" \
    > "$hash"

guix authenticate rsautl -sign				\
    -inkey "$abs_top_srcdir/tests/signing-key.sec"	\
    -in "$hash" > "$sig"
test -f "$sig"

hash2="`guix authenticate rsautl -verify		\
          -inkey $abs_top_srcdir/tests/signing-key.pub	\
          -pubin -in $sig`"
test "$hash2" = `cat "$hash"`

# Same thing in a pipeline, using the command line syntax that Nix/Crypto.pm
# uses.
hash2="`						\
  cat "$hash"						\
  | guix authenticate rsautl -sign			\
    -inkey "$abs_top_srcdir/tests/signing-key.sec"	\
  | guix authenticate rsautl -verify			\
          -inkey $abs_top_srcdir/tests/signing-key.pub	\
          -pubin`"
test "$hash2" = `cat "$hash"`

# Detect corrupt signatures.
if guix authenticate rsautl -verify				\
          -inkey "$abs_top_srcdir/tests/signing-key.pub"	\
          -pubin -in /dev/null
then false
else true
fi

# Detect invalid signatures.
# The signature has (payload (data ... (hash sha256 #...#))).  We proceed by
# modifying this hash.
sed -i "$sig"											\
    -e's|#[A-Z0-9]\{64\}#|#0000000000000000000000000000000000000000000000000000000000000000#|g'
if guix authenticate rsautl -verify				\
          -inkey "$abs_top_srcdir/tests/signing-key.pub"	\
          -pubin -in "$sig"
then false
else true
fi


# Test for <http://bugs.gnu.org/17312>: make sure 'guix authenticate' produces
# valid signatures when run in the C locale.
echo "5eff0b55c9c5f5e87b4e34cd60a2d5654ca1eb78c7b3c67c3179fed1cff07b4c" \
    > "$hash"

LC_ALL=C
export LC_ALL

guix authenticate rsautl -sign				\
    -inkey "$abs_top_srcdir/tests/signing-key.sec"	\
    -in "$hash" > "$sig"

guix authenticate rsautl -verify			\
        -inkey "$abs_top_srcdir/tests/signing-key.pub"	\
        -pubin -in "$sig"
hash2="`guix authenticate rsautl -verify		\
          -inkey $abs_top_srcdir/tests/signing-key.pub	\
          -pubin -in $sig`"
test "$hash2" = `cat "$hash"`
><td><a href='/guix/commit/tests?id=d7ddb257c9d22c794d6b26af64a57901ccee71e0'>guix package: '--delete-generations' deletes generations older than specified.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2013-09-27 01:07:37 +0200'>2013-09-27</span></td><td><a href='/guix/commit/tests?id=03f4ef28b17ef2b53eb56dbd3fa382569677490b'>tests: Fix typo.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2013-09-27 00:46:17 +0200'>2013-09-27</span></td><td><a href='/guix/commit/tests?id=03761a446536dc690010522ab522a1541766abd7'>build-system/trivial: Take the 'source' field into account.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2013-09-26 15:41:43 +0000'>2013-09-26</span></td><td><a href='/guix/commit/tests?id=b7884ca3ca72b39397ff0abd1154f97b981394cd'>guix package: Add '--delete-generations'.</a><span class='msg-avail'>...</span></td><td>Nikita Karetnikov</td></tr>
<tr><td><span title='2013-09-25 16:10:40 +0000'>2013-09-25</span></td><td><a href='/guix/commit/tests?id=9ac9360d6e86e7d16756d8e28ce61e288551c2db'>guix package: Show which generation is the current one.</a><span class='msg-avail'>...</span></td><td>Nikita Karetnikov</td></tr>
<tr><td><span title='2013-09-25 16:09:50 +0000'>2013-09-25</span></td><td><a href='/guix/commit/tests?id=aad5af9f40951bac7c8822b754aa20946b2cb8a4'>tests: Use 'test -z' to check that a string equals zero.</a></td><td>Nikita Karetnikov</td></tr>
<tr><td><span title='2013-09-25 16:08:39 +0000'>2013-09-25</span></td><td><a href='/guix/commit/tests?id=4b2bc804d861ff5ba550dac0b56f1fe44f079847'>guix package: Do not list the zeroth generation.</a><span class='msg-avail'>...</span></td><td>Nikita Karetnikov</td></tr>
<tr><td><span title='2013-09-25 16:07:50 +0000'>2013-09-25</span></td><td><a href='/guix/commit/tests?id=0ab212b9466d5aa3fe801c9137248703245d8513'>guix package: Exit with 1 when a generation cannot be listed.</a><span class='msg-avail'>...</span></td><td>Nikita Karetnikov</td></tr>
<tr><td><span title='2013-09-23 23:56:35 +0200'>2013-09-23</span></td><td><a href='/guix/commit/tests?id=caf96debc257dee9ad8b0ea74cc6a8241c30dad4'>guix-register: Expect closures to refer to the original store.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2013-09-23 00:33:50 +0200'>2013-09-23</span></td><td><a href='/guix/commit/tests?id=a7a4e6a4f719da8d0b26d9a60ff8ed42691d263f'>Add 'guix-register'.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2013-09-19 11:22:31 +0000'>2013-09-19</span></td><td><a href='/guix/commit/tests?id=2cd09108c9b316c9c8aa1c1b87b85a1c32cef089'>guix package: Add '--list-generations'.</a><span class='msg-avail'>...</span></td><td>Nikita Karetnikov</td></tr>
<tr><td><span title='2013-09-18 18:49:53 +0200'>2013-09-18</span></td><td><a href='/guix/commit/tests?id=59688fc4b5cfac3e05610195a47795f5cc15f338'>derivations: 'derivation' and related procedures return a single value.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2013-09-18 16:42:51 +0200'>2013-09-18</span></td><td><a href='/guix/commit/tests?id=81b66f8567ea2e3ecb0983318d5dedd3b1332e48'>tests: Clarify filtering of the "debug" output.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2013-09-17 23:02:13 +0200'>2013-09-17</span></td><td><a href='/guix/commit/tests?id=6a446d56801bfb197b1561bbe660675caa31c96c'>derivations: Keep the .drv file name in &lt;derivation&gt; objects.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2013-09-11 01:07:49 +0200'>2013-09-11</span></td><td><a href='/guix/commit/tests?id=cfbf916045c180c8f77f90e9c910012f18447dc9'>store: The 'references' parameter of 'add-text-to-store' is now optional.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>