Ya he utilizado el script.
Tenía una microsd de 32 GB con un retropie y varias roms haciendo algunas pruebas. Todo esto ocupando algo menos de la mitad de la tarjeta.
Hice una img de la sd con el win32imager y me salió una de 30GB más o menos, le he pasado el script este y me la ha bajado de 30GB a 12 (acompaño fotillo del proceso en el terminal de linux).
La he grabado en una sd de 16GB y la he puesto en la pi.
Y ha arrancado perfectamente. Así que el script ese, salvo errores posteriores, parece funcionar de forma correcta.