19/03/2020 09:28, David Marchand: > for file in $(git grep -l http://.*dpdk.org doc/); do > sed -i -e 's#http://\(.*dpdk.org\)#https://\1#g' $file; > done > > Cc: sta...@dpdk.org > > Signed-off-by: David Marchand <david.march...@redhat.com> > --- > + # links must prefer https over http > + awk -v FOLDERS='doc' \ > + -v EXPRESSIONS='http://.*dpdk.org' \ > + -v RET_ON_FAIL=1 \ > + -v MESSAGE='Using non https link to dpdk.org' \ > + -f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \ > + "$1" || res=1
Interesting policy. When no authentication is required, I was trying to use simple http, in the hope of making access faster. What is the benefit of https for documentation? Avoid man-in-the-middle?
