输入一个字符串，用＄字符替换字符串中的数字字符。

可以使用正则表达式来实现这个功能，具体代码如下：

local str = "abc123def456"
str = string.gsub(str, "%d", "$")
print(str) -- 输出 abc$$$def$$$

这段代码中，`string.gsub` 函数用于替换字符串中的匹配项，第一个参数是待处理的字符串，第二个参数是匹配规则，这里使用 `%d` 表示匹配数字字符，第三个参数是替换字符串，这里使用 `$` 符号。最后输出替换后的字符串即可。