snipt

Ctrl+h for KB shortcuts

TeX

Logic commands in tex

1
2
3
4
5
6
Allquantor = \forall
Existencequantor = \exists
OR = \vee
AND = \wedge
NOT = \neg
Implies = \Rightarrow
https://snipt.net/embed/a5d98fcf8c94dbc1998b2e6dcc370acb/
/raw/a5d98fcf8c94dbc1998b2e6dcc370acb/
a5d98fcf8c94dbc1998b2e6dcc370acb
tex
TeX
6
2019-07-11T02:11:35
True
False
False
/api/public/snipt/2246/
logic-commands-in-tex
<table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><a href="#L-1">1</a> <a href="#L-2">2</a> <a href="#L-3">3</a> <a href="#L-4">4</a> <a href="#L-5">5</a> <a href="#L-6">6</a></pre></div></td><td class="code"><div class="highlight"><pre><span></span><span id="L-1"><a name="L-1"></a>Allquantor = <span class="k">\forall</span> </span><span id="L-2"><a name="L-2"></a>Existencequantor = <span class="k">\exists</span> </span><span id="L-3"><a name="L-3"></a>OR = <span class="k">\vee</span> </span><span id="L-4"><a name="L-4"></a>AND = <span class="k">\wedge</span> </span><span id="L-5"><a name="L-5"></a>NOT = <span class="k">\neg</span> </span><span id="L-6"><a name="L-6"></a>Implies = <span class="k">\Rightarrow</span> </span></pre></div> </td></tr></table>
logic, tex

Bash

set svn to ignore folder

svn propset svn:ignore bin .
https://snipt.net/embed/2edf293e4e7a6f0db4386352e76a86f5/
/raw/2edf293e4e7a6f0db4386352e76a86f5/
2edf293e4e7a6f0db4386352e76a86f5
bash
Bash
1
2019-07-06T08:46:17
True
False
False
/api/public/snipt/1945/
set-svn-to-ignore-folder
<table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><a href="#L-1">1</a></pre></div></td><td class="code"><div class="highlight"><pre><span></span><span id="L-1"><a name="L-1"></a>svn propset svn:ignore bin . </span></pre></div> </td></tr></table>
administration, ignore, svn

Bash

Basic macport commands

1
2
3
4
5
6
sudo port -vvvRc search
sudo port -vvvRc install
sudo port -vvvRc sync
sudo port -vvvRc selfupdate
sudo port -vvvRc upgrade outdated
sudo port -vvvRc uninstall inactive
https://snipt.net/embed/bb10b57375a66eeb951cc2787aea4415/
/raw/bb10b57375a66eeb951cc2787aea4415/
bb10b57375a66eeb951cc2787aea4415
bash
Bash
7
2019-07-12T16:40:05
True
False
False
/api/public/snipt/1480/
basic-macport-commands
<table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><a href="#L-1">1</a> <a href="#L-2">2</a> <a href="#L-3">3</a> <a href="#L-4">4</a> <a href="#L-5">5</a> <a href="#L-6">6</a></pre></div></td><td class="code"><div class="highlight"><pre><span></span><span id="L-1"><a name="L-1"></a>sudo port -vvvRc search </span><span id="L-2"><a name="L-2"></a>sudo port -vvvRc install </span><span id="L-3"><a name="L-3"></a>sudo port -vvvRc sync </span><span id="L-4"><a name="L-4"></a>sudo port -vvvRc selfupdate </span><span id="L-5"><a name="L-5"></a>sudo port -vvvRc upgrade outdated </span><span id="L-6"><a name="L-6"></a>sudo port -vvvRc uninstall inactive </span></pre></div> </td></tr></table>
administration, macport

Bash

ssh fwd bf enc

ssh -c blowfish -L 3333:localhost:
https://snipt.net/embed/2eef31c05c35529ab0ecdb029a6f1816/
/raw/2eef31c05c35529ab0ecdb029a6f1816/
2eef31c05c35529ab0ecdb029a6f1816
bash
Bash
1
2019-07-15T03:10:44
True
False
False
/api/public/snipt/800/
ssh-fwd-bf-enc
<table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><a href="#L-1">1</a></pre></div></td><td class="code"><div class="highlight"><pre><span></span><span id="L-1"><a name="L-1"></a>ssh -c blowfish -L 3333:localhost: </span></pre></div> </td></tr></table>
shell, ssh, tunnel