ドットセグメントを除去する関数を定義する。
awk -f 'uri_path_remove_dot_segments.awk'
@include "uri_path_remove_dot_segments.awk"
| id | b6b08b94-3623-4ace-a0a5-48aa3ad777a8 |
| author | |
| version | 1.0.0 |
| date | 2022-09-02 |
| since | 2022-07-26 |
| copyright | Copyright (C) 2022-2022 qq542vev. Some rights reserved. |
| license | |
| package | w3mplus |
| function uri_path_remove_dot_segments( |
| ) |
パス文字列内からドットセグメントを除去する。
| path | パス文字列。 |
ドットセグメントが除去された文字列。