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