10beebb
do not disable coredumps in profile/csh.cshrc scripts, coredumps already disabled in rawhide's RLIMIT_CORE(#495035)