Closed qubitter closed 2 months ago
For future reference, this was done by running the following command in the root dir:
grep -rli 'priviledged' * | xargs -i@ sed -i 's/priviledged/privileged/g' @
IMPORTANT NOTE: this WILL corrupt your git folder. Move ALL git-related files to a folder that will not be hit by this search before running it.
:3
For future reference, this was done by running the following command in the root dir:
grep -rli 'priviledged' * | xargs -i@ sed -i 's/priviledged/privileged/g' @IMPORTANT NOTE: this WILL corrupt your git folder. Move ALL git-related files to a folder that will not be hit by this search before running it.
:3