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