Это вызвано тем, что перенаправление выполняется сначала: >prova1
усекает Ваш файл так, чтобы sort
ничего не находит. sort prova1 > prova1_sorted
работал бы, как Вы ожидаете.
В моем конкретном случае приложение, которое я бежал, был начат с Sudo. Я полагал, что ограничения будут применены с учетной записи пользователя root. Я был неправ. Вместо этого я обнаружил, что, хотя приложение работает как root, пределы, применяемые к нему, были пределы, принадлежащие пользователю, которые запустили приложение.