[gnutls-devel] GnuTLS | Add code indentation (!1692)

Read-only notification of GnuTLS library development activities gnutls-devel at lists.gnutls.org
Fri Jan 27 11:41:09 CET 2023




Daiki Ueno commented on a discussion on devel/indent-gnutls: https://gitlab.com/gnutls/gnutls/-/merge_requests/1692#note_1255221878

> +#!/bin/sh
> +
> +# Copyright (c) 2022 Simon Josefsson
> +# License: GPLv3+ <http://gnu.org/licenses/gpl.html>
> +
> +if ! indent --version 2> /dev/null | grep 'GNU indent' > /dev/null; then
> +    echo 1>&2 "$0: GNU indent is missing"
> +    exit 77
> +fi
> +
> +INDENT="indent -ppi1 -linux"; export INDENT
> +
> +git ls-files -z | grep -z '\.[ch]\(.in\)\?$' | grep -z -v '^./devel/' | xargs -0 -n1 `dirname "$0"`/indent-maybe
> +
> +exit 0

The latter; maybe it would be better to exit with `$?`?

-- 
Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/gnutls/-/merge_requests/1692#note_1255221878
You're receiving this email because of your account on gitlab.com.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.gnupg.org/pipermail/gnutls-devel/attachments/20230127/75841e6d/attachment.html>


More information about the Gnutls-devel mailing list