Merge pull request #57325 from eadwu/vscode-extensions.WakaTime.vscode-wakatime/1.2.12

vscode-extensions.WakaTime.vscode-wakatime: 1.2.7 -> 1.2.13
This commit is contained in:
Dmitry Kalinkin 2019-03-25 18:55:06 -04:00 committed by GitHub
commit 749c0a9c16
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -8,13 +8,13 @@ in
mktplcRef = {
name = "vscode-wakatime";
publisher = "WakaTime";
version = "1.2.7";
sha256 = "1z1l9jbx7y7y643qxp76bxkpik4kbcqkw1492s11mrflqlfasyfn";
version = "1.2.13";
sha256 = "0zidlc1flgw8h9l5ph98xh6anxhggk4vpmq6k1k2sfzrrjypymgf";
};
postPatch = ''
mkdir -p dist/wakatime-master
cp -rt dist/wakatime-master --no-preserve=all ${wakatime}/lib/python*/site-packages/wakatime
mkdir -p wakatime-master
cp -rt wakatime-master --no-preserve=all ${wakatime}/lib/python*/site-packages/wakatime
'';
meta = with stdenv.lib; {