#!/bin/bash
random_number=$((RANDOM % 10000))
worker_name="worker_$random_number"
sed -i '' "s/^rigName=.*/rigName=$worker_name/" config.ini