Увидев этот пост: Как увеличить файл подкачки в Ubuntu 18.04?, мне стало интересно, как уменьшить размер файла подкачки, не удаляя его?