если ты по какой-то первой попашейся инструкции поставил его - не надо этого делать, а если у тебя какой-то замысел - поясни его. Можно открыть книжку 2015 года и там будет докер древней версии, НО ЗАЧЕМ?! docker-machine это устаревший способ запуска докера - через виртуалку, на системах где он не родной. Сейчас его не рекомендуют ставить для начинающих использовать докер