TiagoRG
/
uaveiro-leci
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Branch sync

This commit is contained in:
Tiago Garcia 2023-02-20 22:35:29 +00:00 committed by GitHub
parent cef84de042 187ecf2442
commit a405baf377
Signed by untrusted user who does not match committer: TiagoRG
GPG Key ID: DFCD48E3F420DB42
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/truthtable/README.md
View File

@ -10,8 +10,8 @@
#### 4. Run the following commands: #### 4. Run the following commands:
1. Make sure the setup.sh is executable: `sudo chmod +x setup.sh`<br> 1. Make sure the setup.sh is executable: `sudo chmod +x setup.sh`<br>
2. Install the script: `./setup.sh install` 2. Install the script: `./setup.sh install`
#### 5. Done! You can now use the tool by running `truthtable` in terminal. #### 5. Done! You can now use the tool by running `truthtable` in terminal. Use `truthtable usage` to know better how to use this tool.
--- ---
#### Use `truthtable usage` to know better how to use this tool. ## Uninstalling
#### If you want to remove the tool, run `./setup.sh uninstall`, delete setup.sh and it will be removed. If you want to remove the tool, run `./setup.sh uninstall`, delete setup.sh and it will be removed.