Sunbelt Computer Software

PL/B Language Development and Support

Home
About
Blog
Products
Forum
Support
Contact

Dafny-VSCode/scripts/dev-env.bash at develop · DafnyVSCode/Dafny-VSCode · GitHub

executable file

36 lines (22 loc) · 398 Bytes

#!/usr/bin/env bash
ROOT="`git rev-parse --show-toplevel`/"
************************************************
* STARTUP DAFNY VSCODE DEVELOPMENT ENVIRONMENT *
************************************************
Installing server ...
npm install
Installing client ...
cd ../client
npm install

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

dev-env.bash

Latest commit

History

dev-env.bash

File metadata and controls