Re: [hatari-devel] Hatari download page changed unexpectedly

[Nicolas Pomarède <npomarede@xxxxxxxxxxxx>]

Le 12/02/2019 à 15:32, Christer Solskogen a écrit :

>     running "git gc" will in fact optimize space, but repo only goes from
>     ~108 MB to 93 MB. Don't know if there's a better way to compress ?
>
>
> git gc --aggressive

Indeed, size went from 93 MB to 12 MB this time :)

I guess size will expand after some commits and the command can be run 
again, but it's better to have a small repo when you want to do a quick 
local "clone" of the repo by just doing "cp -r repo repo_new"