install.sh Improvements

shvchk / poly-dark

Poly dark GRUB theme

https://opendesktop.org/p/1230780

MIT License

172 stars 36 forks source link

install.sh Improvements #6

Closed tariq86 closed 6 years ago

tariq86 commented 6 years ago

When I first ran the installation script on my Ubuntu 18.04 desktop, the wget command downloaded the archive to master (not master.zip), so the following unzip command did not find the file. As a result, I ended up with an empty grub theme directory.

This PR adds a few checks to make sure that the archive is successfully downloaded and extracted before installing the theme.

shvchk commented 6 years ago

I think this is now fixed with 567b00c, so I'm closing this, but thank you for efforts @tariq86 :+1: