Actually that wouldn't work. First you would need to use rm -r (or rmdir or similar) to remove the directories (although you might not care about leaving empty directories).
Second and more important it would give weird results if there's a space in a filename. For example testing on my install without being root produces
Using
Second and more important it would give weird results if there's a space in a filename. For example testing on my install without being root produces
Quote:....If using rm -r this might be dangerous if you're using the command from somewhere with eg a subdirectory named "Lite".
rm: cannot remove ‘/usr/local/share/dolphin-emu/sys/Themes/Clean’: Is a directory
rm: cannot remove ‘Lite/play@2x.png’: No such file or directory
...
Using
Quote: cat install_manifest.txt | xargs -d '\n' rmshould solve that problem.