我如何告诉VLC在某个时间点开始播放一个文件，而这个时间是一个变量？

Question

我试图调用vlc time=$x filename.mp3，但是文件从一开始就开始播放。

我使用

    echo "give me the time"
    read x

将一个值赋值给$x，然后减去3，开始播放该文件。

我想知道$x是否需要一种特定的格式。我试过了

    ((x=$x-3))

而且还

    x=`echo $x-3|bc -l` 

还有 ()在$x周围的几个变体，例如：

    vlc --start-time="$x" filename
    vlc '--start-time="$x"' filename

但这些都不管用。有人知道我做错了什么吗？

非常感谢!

Answer 1

试试这个，我希望它能帮上忙

 "vlc --start-time=$(($x-3)) filename"

Answer 2

谢谢阮！

灰烬在我头上，我调用了错误的文件！两种版本都能用，我的

    "vlc --start-time=$x filename"

还有你的

    "vlc --start-time=$(($x-3)) filename"

抱歉弄乱了！