vscode-extensions.WakaTime.vscode-wakatime: 1.2.7 -> 1.2.13

This commit is contained in:
Edmund Wu 2019-03-10 20:34:23 -04:00
parent b854767dac
commit 7e335a37d0
No known key found for this signature in database
GPG Key ID: 9C0561D4193A3AFE

View File

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