Downloads

Download:

• progsbase client

Requirements

• Java 7 or higher
• ProgsBase Subscription or Free Trial

Installation

The ProgsBase client is a Java program. You need Java 8 or higher.

Run the program using:

    java -jar progsbase-1.0-SNAPSHOT.jar

On Unix-like environments, you can make a script progsbase.sh:

    #!/bin/sh

    java -jar <path>/progsbase-1.0-SNAPSHOT.jar "[email protected]"

And make a symlink:

    sudo ln -s <path>/progsbase.sh /usr/bin/progsbase

Now you can invoke progsbase using only the command progsbase

    ProgsBase.com Command Line Tool - Remote - v1.0-SNAPSHOT
    Copyright (c) 2018 Inductive AS

    Use one of the following commands (some of the commands have further sub-options):
     - login ....... logs in
     - logout ...... logs out
     - check ....... checks the current authentication status
     - analyze ..... analyzes the program in the current folder
     - convert ..... converts the program in the current folder to another programming language
     - importdeps .. imports dependencies of the program in the current folder
     - upload ...... uploads the program in the current folder to the repository
    also:
     - -h, --help .. shows this message