miner_dotfiles