summary refs log tree commit diff stats
path: root/INSTALL
blob: 8ba89921e59643f16564e9e9c806ffe1cd1ddac4 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Installing
==========

Use the package manager of your operating system to install ranger.

To install ranger manually, use either:
sudo ./setup.py install --optimize=1 --record=install_log.txt

or for short:
sudo make install


Uninstalling
============

Again, use your package manager to uninstall ranger.  No other way for
automatically removing ranger is supported!

However, if you installed ranger with the command above, all installed files
have been recorded to "install_log.txt".  This information can be used to remove
ranger by hand, e.g.:

cat install_log.txt | sed s/\^/\\// | xargs -d "\n" sudo rm --
v">pause' a # function call, returning a continuation, and that calling the continuation # can 'resume' the paused function call. # # To run: # $ git clone https://github.com/akkartik/mu # $ cd mu # $ ./mu continuation1.mu # # Expected output: # 1 def main [ local-scope k:continuation <- call-with-continuation-mark 100/mark, create-yielder x:num <- call k # should return 1 $print x 10/newline ] def create-yielder -> n:num [ local-scope load-inputs return-continuation-until-mark 100/mark return 1 ]