mirrors/wmii
1
0
Fork 0
mirror of https://github.com/0intro/wmii synced 2025-01-25 11:32:06 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merged patch from Adrian.

Browse Source
This commit is contained in:
stepardo 2006-05-06 21:43:23 +01:00
parent a25cb7a75f
commit 06f0ba0bd5
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
doc/guide_en.tex
View File

@ -82,10 +82,10 @@ people mentioned at \href{http://wmii.de/index.php/WMII/People}{WMII/people}.}
Wmii--3 is a new kind of window manager. It is designed to have a
small memory footprint, be extremely modularised and have as
little code as possible, thus ensuring as few bugs as possible. In
fact, one of our official goal is to not to exceed $10 k$ lines of
code~\footnote{ benefits of the $10 k$ SLOC restriction are that
fact, one of our official goals is to not exceed $10 k$ lines of
code~\footnote{ benefit of the $10 k$ SLOC restriction is that
it's easier to read/understand, thus it's easier to use and get
used to.}.
used to it}.
Wmii tries to be very portable and to give the user as much
freedom as possible.
@ -93,7 +93,7 @@ people mentioned at \href{http://wmii.de/index.php/WMII/People}{WMII/people}.}
Wmii--3 is the third major release of the second generation of the
window manager improved~\footnote{ the ii is actually the roman
numeral for 2.}. Wmii first introduced a new paradigm in version
2.5, namely the dynamic window management, that overcomes the
2.5, namely dynamic window management, that overcomes the
limitations imposed by the WIMP paradigm (see also the companion
\emph{wmii.tex}).
@ -102,7 +102,7 @@ people mentioned at \href{http://wmii.de/index.php/WMII/People}{WMII/people}.}
I presume the reader already has experience with Unix, knows all
the basic terminology and concepts like files and editors.
I hope you are open minded to new ideas, and willing to spend some
I hope you are open minded towards new ideas, and willing to spend some
time learning \wmii--3~\footnote{remember the refrain: ``nobody
can teach you what you don't want to know''.}.
@ -126,7 +126,7 @@ people mentioned at \href{http://wmii.de/index.php/WMII/People}{WMII/people}.}
Wmii is licensed under the MIT/X Consortium License, which
basically means it is free software, and you are free to download
from \hrefx{http://wmii.de} free of charge~\footnote{ please have
it from \hrefx{http://wmii.de} free of charge~\footnote{ please have
a look at \hrefx{http://wmii.de/repos/wmii/LICENSE} for
details}.
@ -134,13 +134,13 @@ people mentioned at \href{http://wmii.de/index.php/WMII/People}{WMII/people}.}
First of all, have a look if there are binary packages of wmii in
your distribution. Debian, Ubuntu and Gentoo should already have
good packages. If you found a package to trust, you may now safely
good packages. If you found a trustworthy package, you may now safely
skip this section.
For all those who are still reading this, let me tell you that you are
on the good side because if you grab the sources and compile them yourself
you'll benefit from having everything in it's original place, so
it'll ease your use of wmii.
you'll benefit from having everything in it's original place, which will
ease your use of wmii.
\begin{enumerate}