Downloads

Download:

• progsbase client

Requirements

• Java 7 or higher
• A progsbase account

Installation

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

Run the program using:

java -jar progsbase-1.0.1-SNAPSHOT.jar

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

#!/bin/sh

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

And make a symlink:

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

On Windows, you can make a script progsbase.bat:

@java -jar <path>\progsbase-1.0.1-SNAPSHOT.jar %*

Then add progsbase.bat to your PATH.

Now you can invoke progsbase using only the command progsbase

    ProgsBase.com Command Line Tool - Remote - v1.0.1-SNAPSHOT
    Copyright (c) 2018-20 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