
11 Dec
2020
11 Dec
'20
3:10 p.m.
On Fri, Dec 11, 2020 at 03:01:54PM +0800, Ren Wen wrote:
- echo "$url" >> $1
+ echo "\"$url\"" >> $1
\'$url\' ?
Thanks, Xueliang
Sorry, I misunderstood it. Thanks, RenWen
$ echo "\"$PAGER\"" "less" $ echo "\'$PAGER\'" \'less\'
Two forms are different.
Thanks, RenWen
done echo ")" >> $1 } -- 2.23.0