|> Why can't a normal user set core-dump size anymore ?
Check that the hard limit allows this. Note that bash's ulimit now sets
both soft and hard limit by default.
-- Andreas Schwab "And now for something schwab@issan.informatik.uni-dortmund.de completely different" schwab@gnu.org