|
|
|
@ -90,7 +90,10 @@ class DGitProvider extends Plugin { |
|
|
|
|
...await this.getGitConfig(), |
|
|
|
|
...cmd |
|
|
|
|
}) |
|
|
|
|
await this.call('fileManager', 'refresh') |
|
|
|
|
const self = this |
|
|
|
|
setTimeout(async () => { |
|
|
|
|
await self.call('fileManager', 'refresh') |
|
|
|
|
}, 1000) |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
async rm (cmd) { |
|
|
|
@ -98,7 +101,10 @@ class DGitProvider extends Plugin { |
|
|
|
|
...await this.getGitConfig(), |
|
|
|
|
...cmd |
|
|
|
|
}) |
|
|
|
|
await this.call('fileManager', 'refresh') |
|
|
|
|
const self = this |
|
|
|
|
setTimeout(async () => { |
|
|
|
|
await self.call('fileManager', 'refresh') |
|
|
|
|
}, 1000) |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
async checkout (cmd) { |
|
|
|
@ -106,7 +112,10 @@ class DGitProvider extends Plugin { |
|
|
|
|
...await this.getGitConfig(), |
|
|
|
|
...cmd |
|
|
|
|
}) |
|
|
|
|
await this.call('fileManager', 'refresh') |
|
|
|
|
const self = this |
|
|
|
|
setTimeout(async () => { |
|
|
|
|
await self.call('fileManager', 'refresh') |
|
|
|
|
}, 1000) |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
async log (cmd) { |
|
|
|
@ -131,7 +140,10 @@ class DGitProvider extends Plugin { |
|
|
|
|
...await this.getGitConfig(), |
|
|
|
|
...cmd |
|
|
|
|
}) |
|
|
|
|
await this.call('fileManager', 'refresh') |
|
|
|
|
const self = this |
|
|
|
|
setTimeout(async () => { |
|
|
|
|
await self.call('fileManager', 'refresh') |
|
|
|
|
}, 1000) |
|
|
|
|
return status |
|
|
|
|
} |
|
|
|
|
|
|
|
|
@ -239,7 +251,10 @@ class DGitProvider extends Plugin { |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
const result = await git.clone(cmd) |
|
|
|
|
await this.call('fileManager', 'refresh') |
|
|
|
|
const self = this |
|
|
|
|
setTimeout(async () => { |
|
|
|
|
await self.call('fileManager', 'refresh') |
|
|
|
|
}, 1000) |
|
|
|
|
return result |
|
|
|
|
} |
|
|
|
|
|
|
|
|
@ -272,7 +287,10 @@ class DGitProvider extends Plugin { |
|
|
|
|
...await this.getGitConfig() |
|
|
|
|
} |
|
|
|
|
const result = await git.pull(cmd) |
|
|
|
|
await this.call('fileManager', 'refresh') |
|
|
|
|
const self = this |
|
|
|
|
setTimeout(async () => { |
|
|
|
|
await self.call('fileManager', 'refresh') |
|
|
|
|
}, 1000) |
|
|
|
|
return result |
|
|
|
|
} |
|
|
|
|
|
|
|
|
@ -289,7 +307,10 @@ class DGitProvider extends Plugin { |
|
|
|
|
...await this.getGitConfig() |
|
|
|
|
} |
|
|
|
|
const result = await git.fetch(cmd) |
|
|
|
|
await this.call('fileManager', 'refresh') |
|
|
|
|
const self = this |
|
|
|
|
setTimeout(async () => { |
|
|
|
|
await self.call('fileManager', 'refresh') |
|
|
|
|
}, 1000) |
|
|
|
|
return result |
|
|
|
|
} |
|
|
|
|
|
|
|
|
@ -467,7 +488,10 @@ class DGitProvider extends Plugin { |
|
|
|
|
} else { |
|
|
|
|
result = await this.importIPFSFiles(this.remixIPFS, cid, workspace) || await this.importIPFSFiles(this.ipfsconfig, cid, workspace) || await this.importIPFSFiles(this.globalIPFSConfig, cid, workspace) |
|
|
|
|
} |
|
|
|
|
await this.call('fileManager', 'refresh') |
|
|
|
|
const self = this |
|
|
|
|
setTimeout(async () => { |
|
|
|
|
await self.call('fileManager', 'refresh') |
|
|
|
|
}, 1000) |
|
|
|
|
if (!result) throw new Error(`Cannot pull files from IPFS at ${cid}`) |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|