export / pushd / workspace not working on linux

Seeed-Studio / CodeCraft

Codecraft is a graphical programming software which is based on Scratch 3.0

https://ide.tinkergen.com/

Apache License 2.0

23 stars 4 forks source link

Closed vongomben closed 1 year ago

vongomben commented 1 year ago

Following the readme, when asked to pushd workspace we receive: pushd: no such file or directory: workspace

Feel free to address us to a guide is something is wrong from our side

tianrking commented 1 year ago

Download the code first and then set the workspace environment variable to the path where the code is downloaded.

Example:

git clone -b main https://github.com/Seeed-Projects/seeed-codecraft ~/seeed-codecraft 
export workspace=~/seeed-codecraft

pushd $workspace

#or

cd $workspace

tianrking commented 1 year ago