# workshop_for_rest

**Repository Path**: restgroup/workshop_for_rest

## Basic Information

- **Project Name**: workshop_for_rest
- **Description**: REST Workshop 算例与程序安装指南
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 2
- **Forks**: 0
- **Created**: 2025-09-04
- **Last Updated**: 2025-09-06

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Prepare for REST Workshop

## Install Docker via Docker Desktop
Installing Windows Subsystem of Linux (WSL) is recommanded. See [here](https://learn.microsoft.com/zh-cn/windows/wsl/install).

Install the Docker Desktop by Docker Desktop Installer (for Users on Windows), which is included as materials of the workshop. One can also download manually at [Docker Homepage](https://www.docker.com/
).

## REST from Docker Image
### Load from built image
1. Open your terminal and switch to the path to image file.
2. Run the command:
   ```sh
   docker load -i rest_workshop_v1.0.tar.gz
   ``` 
3. Verify the image has been loaded properly:
   ```sh
   docker images
   ```
   and you may find certain image repositry named as rest_workshop and with tag like dev or v1.0.

## Run REST in docker with examples in rest_workshop
In terminal, run the command to bind rest_workshop into the rest_workshop container:
```sh
docker run --rm -it -v /path/to/rest_workshop:/opt/rest_workshop -w /opt rest_workshop:[tag] /bin/bash 
```
this will start a rest_workshop container with example directory appearing at the /opt/rest_workshop path.
And one can simply run those input files by the command
```sh
rest -i rest_input [> output]
```

# Try those examples and have fun!