I think I remember being told there was no way to shrink files when I was studying computer programming in college. I was taught to copy the now shorter file in

I think I remember being told there was no way to shrink files when I was studying computer programming in college. I was taught to copy the now shorter file into a new file then delete the original file.