From 66a372b427a710369843bca19092808f3afc260e Mon Sep 17 00:00:00 2001 From: pancake Date: Mon, 20 Apr 2015 11:57:33 +0200 Subject: [PATCH] Workaround for the debian sort(1) bug --- configure-plugins | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/configure-plugins b/configure-plugins index cf1aefc964..ae2b0b661d 100755 --- a/configure-plugins +++ b/configure-plugins @@ -135,8 +135,7 @@ else fi dosort () { - - ( for a in $1 ; do echo $a ; done ) | ${SORT} + ( for a in $1 ; do echo $a ; done ) | tr _ Z | ${SORT} | tr Z _ #( for a in $1 ; do echo $a ; done ) | sort -t. --key=1,1d }