linux echo输出结果赋值给变量，shell变量n位补零

name=`echo $1|awk '{printf("%04d\n",$0)}'`    将 $1 进行4位数补零，后传递字符串给 name。

将下面代码，命名为 playVideo.sh 的shell脚本。 传参 12，输出 0012，4位数补零后的结果。

#!/bin/bash

name=$1
name=`echo $1|awk '{printf("%04d\n",$0)}'`
echo "/home/pi/$name.mp4"

omxplayer -o hdmi /home/pi/$name.mp4 --loop
#omxplayer -o hdmi /home/pi/DJI-MAVIC-AIR2.mp4 --loop