soma rename
Rename a signal everywhere it is written — declaration, body, calls, frames, tests — under the entry's directory.
soma rename is a command of soma, the toolchain of the Soma programming language (compiler, checker, verifier, test runner and server in one binary). Its options, as soma 3.2.4 prints them:
$ soma rename --help
Rename a signal everywhere it is written — declaration, body, calls, frames, tests — under the entry's directory
Usage: soma-v3.2.4 rename [OPTIONS] <FILE> <SIGNAL> <NEW_NAME>
Arguments:
<FILE> Path to the program's entry file
<SIGNAL> `Cell.signal`
<NEW_NAME> The new name
Options:
--dry-run Print the lines that would change, write nothing
--stdlib <STDLIB> Path to stdlib directory (default: auto-detect)
-h, --help Print help