tjanez

#!/bin/bash

CONFIG_PATH=~/.config/Code

for i in $CONFIG_PATH/User/workspaceStorage/*; do
	if [ -f $i/workspace.json ]; then
		folder="$(python3 -c "import sys, json; print(json.load(open(sys.argv[1], 'r'))['folder'])" $i/workspace.json 2>/dev/null | sed 's#^file://##;s/+/ /g;s/%\(..\)/\\x\1/g;')"
	
		if [ -n "$folder" ] && [ ! -d "$folder" ]; then
			echo "Removing workspace $(basename $i) for deleted folder $folder of size $(du -sh $i|cut -f1)"

tjanez

import { eddsa } from 'elliptic';
import { sha512 } from 'js-sha512';
import { sha256 } from 'js-sha256';
import * as BN from 'bn.js';

export interface Ed25519Node {
    kL: Uint8Array;
    kR: Uint8Array;
    A: Buffer;
    c: Uint8Array;