magic-tools

A selection of scripts and tools to aid development.

installation (Ubuntu)

Open up a terminal window and issue this command:

curl -vs https://raw.githubusercontent.com/magic-lang/magic-tools/master/install > install-magic-tools && chmod 755 install-magic-tools && ./install-magic-tools && wait; rm install-magic-tools

list of installed tools

• git
• node.js
• libav-tools
• valgrind
• rock
• magic
• Visual Studio Code
• vs.language.magic (magic language support for VS Code)
• update scripts (see below)

usage

In addition to the installed tools specified above, you will have two additional tools at your disposal:

• update-vscode: updates VS Code (if necessary) and associated tools
• update-magic-lang-tools: updates magic tools (rock, magic) if necessary