make_dataset.sh: Add script header. · 4070d2cac4 - pagedet-scripts - Gitea: Git with a cup of tea

make_dataset.sh: Add script header.

master

Bas Weelinck 5 年之前

父節點

acc4238b60

當前提交

4070d2cac4

共有 1 個檔案被更改，包括 1 行新增 和 0 行删除

統一視圖

							
								+ 1
								
								- 0
							
make_dataset.sh查看文件
								
																@@ -1,3 +1,4 @@
															
																#!/bin/bash
															
																usage () {
																
																usage () {
															
																    echo "$0: [-n] <source directory> <target directory>"
																
																    echo "$0: [-n] <source directory> <target directory>"