]> https://gitweb.dealii.org/ - dealii.git/commit
Do not use 'xargs' with locally defined functions. 2988/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 18 Aug 2016 21:13:07 +0000 (15:13 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Thu, 18 Aug 2016 21:13:07 +0000 (15:13 -0600)
commit3ef81e5db20138cc8354e2444ff4d8ed5b57d140
tree148596d942afd148feb549f323314414466bde6f
parent674234a2d09776ee18e6b1a8145677415d8f91fa
Do not use 'xargs' with locally defined functions.

This breaks some versions of 'bash'. Rather, just run the function on each
individual file -- they are not too many anyway, and should indent rather
quickly.
contrib/utilities/indent

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.