dev-tools

Description

We sometimes need to use a configuration item multiple times in the config file, such as github.owner. If it can be configured through a variable, it will simplify the maintenance of the config file.

Describe the Proposal

maybe:

variables:
  GITHUB_ACCOUNT: daniel-hutao
  FOO: bar
tools:
  - name: xxx
    plugin: xxx
    options:
      owner: ${{ GIT

Currently, the default time interval for the poll watcher is 100ms as shown on line 22 in watcher.rs

I don't know what the default should be, but 100ms seems fine for now. However, this value should definitely be a command-line argument. I am thinking -d for short form and --duration