Merged with conversion from CR/LF to LF.
--- a/auto-proof.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/auto-proof.rst Mon Jul 20 21:25:37 2009 +0300
@@ -1,5 +1,12 @@
-*- outline -*-
+* Info/links.
+
+See
+
+ http://en.wikipedia.org/wiki/Automated_theorem_proving
+
+
* proofgeneral.
$ sudo apt-get install proofgeneral
@@ -39,11 +46,138 @@
* IsarMathLib.
+The goal of the project is to create a library of formalized mathematics,
+similar to the Mizar Mathematical Library, but written for the Isabelle/Isar
+theorem prover (ZF logic).
+
+See
+
+ http://savannah.nongnu.org/projects/isarmathlib
+ http://lists.nongnu.org/mailman/listinfo/isarmathlib-devel
+
+** http://isarmathlib.org/
+
This site is an experimental HTML rendering of fragments of the IsarMathLib
project. IsarMathLib is a library of mathematical proofs formally verified by
the Isabelle theorem proving environment. The formalization is based on the
Zermelo-Fraenkel set theory.
+** Tiddly Formal Math.
+
+This site is an experimental TiddlyWiki rendering of fragments of the
+IsarMathLib project. IsarMathLib is a library of mathematical proofs formally
+verified by the Isabelle theorem proving environment. The formalization is
+based on the Zermelo-Fraenkel set theory.
+
+See
+
+ http://formalmath.tiddlyspot.com/
+
+* HOL Light.
+
+HOL Light is a computer program to help users prove interesting mathematical
+theorems completely formally in higher order logic. It sets a very exacting
+standard of correctness, but provides a number of automated tools and
+pre-proved mathematical theorems (e.g. about arithmetic, basic set theory and
+real analysis) to save the user work. It is also fully programmable, so users
+can extend it with new theorems and inference rules without compromising its
+soundness.
+
+Ocalm.
+
+See
+
+ http://www.cl.cam.ac.uk/~jrh13/hol-light/index.html
+
+* ACL2.
+
+ACL2 (A Computational Logic for Applicative Common Lisp) is a software system
+consisting of a programming language, an extensible theory in a first-order
+logic, and a mechanical theorem prover. ACL2 is designed to support automated
+reasoning in inductive logical theories, mostly for the purpose of software
+and hardware verification. The input language and implementation of ACL2 are
+built on Common Lisp. ACL2 is free, open source (GPL) software.
+
+ $ sudo apt-get install acl2
+
+See
+
+ http://www.cs.utexas.edu/users/moore/acl2/
+ http://en.wikipedia.org/wiki/ACL2
+
+* PVS Specification and Verification System
+
+Old (1992). Many article in 199x.
+
+The system is implemented in Common Lisp, and is released under the GNU
+General Public License (GPL).
+
See
- http://isarmathlib.org/
+ http://pvs.csl.sri.com/
+ http://en.wikipedia.org/wiki/Prototype_Verification_System
+ http://www-formal.stanford.edu/clt/ARS/Entries/pvs
+
+* The TPTP Problem Library for Automated Theorem Proving.
+
+The TPTP (Thousands of Problems for Theorem Provers) is a library of test
+problems for automated theorem proving (ATP) systems. The TPTP supplies the
+ATP community with:
+
+ * A comprehensive library of the ATP test problems that are available today,
+ in order to provide an overview and a simple, unambiguous reference
+ mechanism.
+ * A comprehensive list of references and other interesting information for
+ each problem.
+ * Arbitrary size instances of generic problems (e.g., the N-queens problem).
+ * A utility to convert the problems to existing ATP systems' formats.
+ * General guidelines outlining the requirements for ATP system evaluation.
+ * Standards for input and output for ATP systems.
+
+The principal motivation for the TPTP is to support the testing and evaluation
+of ATP systems, to help ensure that performance results accurately reflect the
+capabilities of the ATP system being considered. A common library of problems
+is necessary for meaningful system evaluations, meaningful system comparisons,
+repeatability of testing, and the production of statistically significant
+results. The TPTP is such a library.
+
+See
+
+ http://www.cs.miami.edu/~tptp/
+
+* SPASS.
+
+An Automated Theorem Prover for First-Order Logic with Equality.
+
+See
+
+ http://www.spass-prover.org/index.html
+
+* Competition.
+
+See
+
+ http://www.cs.miami.edu/~tptp/CASC/
+ http://www.cs.albany.edu/~nvm/cade.html
+
+* Conference.
+
+IJCAR is a series of conferences on the topics of automated reasoning,
+automated deduction, and related fields. It is organized semi-regularly as a
+merger of other meetings. IJCAR replaces those independent conferences in the
+years it takes place. The conference is organized by CADE Inc., and CADE has
+always been one of the conferences partaking in IJCAR.
+
+See
+
+ http://www.ijcar.org/
+ http://en.wikipedia.org/wiki/International_Joint_Conference_on_Automated_Reasoning
+
+* Top 100.
+
+ http://www.cs.ru.nl/~freek/100/
+ (winner)
+ http://personal.stevens.edu/~nkahl/Top100Theorems.html
+ (orig list)
+ http://www.cse.unsw.edu.au/~kleing/top100/#5
+ (Isabelle)
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/blog.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,32 @@
+-*- outline -*-
+
+* Blogspot and Emacs.
+
+See
+
+ http://code.google.com/p/e-blog/
+
+* Livejornal.
+
+** Feed.
+
+See
+
+ http://www.livejournal.com/support/faqbrowse.bml?faqid=149
+
+*** Journal Feed URLs.
+
+ * Atom: http://NAME.livejournal.com/data/atom
+ * RSS: http://NAME.livejournal.com/data/rss
+
+*** Community Feed URLs.
+
+ * Atom: http://community.livejournal.com/NAME/data/atom
+ * RSS: http://community.livejournal.com/NAME/data/rss
+
+*** Tagged Entries.
+
+View entries with a specific tag by adding ?tag=tagname to the end of the feed
+URL, replacing tagname with the actual tag name. If you want to view two or
+more tags at once, separate the tags with commas: ?tag=tag1,tag2.
+
--- a/bluetooth.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/bluetooth.rst Mon Jul 20 21:25:37 2009 +0300
@@ -3,12 +3,132 @@
* Debian.
$ sudo apt-get install bluetooth
+ $ sudo apt-get install bluez-utils
* BlueZ.
BlueZ is official Linux Bluetooth protocol stack.
+** How find local bluetooth device?
+
+ $ hcitool dev
+Devices:
+ hci0 00:03:C9:05:65:98
+ hci1 00:1F:81:00:02:5A
+
+or (hciconfig placed in /usr/sbin, so see you PATH!)
+
+ $ hciconfig -a
+hci0: Type: USB
+ BD Address: 00:03:C9:05:65:98 ACL MTU: 1017:8 SCO MTU: 64:0
+ UP RUNNING PSCAN
+ RX bytes:2517 acl:12 sco:0 events:64 errors:0
+ TX bytes:756 acl:12 sco:0 commands:33 errors:0
+ Features: 0xff 0xff 0x8d 0xfe 0x9b 0xfd 0x00 0x80
+ Packet type: DM1 DM3 DM5 DH1 DH3 DH5 HV1 HV2 HV3
+ Link policy: RSWITCH HOLD SNIFF PARK
+ Link mode: SLAVE ACCEPT
+ Name: 'desktop-0'
+ Class: 0x3e0100
+ Service Classes: Networking, Rendering, Capturing, Object Transfer, Audio
+ Device Class: Computer, Uncategorized
+ HCI Ver: 2.0 (0x3) HCI Rev: 0x2000 LMP Ver: 2.0 (0x3) LMP Subver: 0x415c
+ Manufacturer: Broadcom Corporation (15)
+
+hci1: Type: USB
+ BD Address: 00:1F:81:00:02:5A ACL MTU: 339:6 SCO MTU: 180:1
+ UP RUNNING PSCAN
+ RX bytes:398 acl:0 sco:0 events:18 errors:0
+ TX bytes:317 acl:0 sco:0 commands:17 errors:0
+ Features: 0xef 0x3e 0x09 0xf0 0x0b 0x08 0x00 0x00
+ Packet type: DM1 DM3 DM5 DH1 DH3 DH5 HV1 HV2 HV3
+ Link policy: RSWITCH HOLD SNIFF PARK
+ Link mode: SLAVE ACCEPT
+ Name: 'desktop-1'
+ Class: 0x3e0100
+ Service Classes: Networking, Rendering, Capturing, Object Transfer, Audio
+ Device Class: Computer, Uncategorized
+ HCI Ver: 1.2 (0x2) HCI Rev: 0x2 LMP Ver: 1.2 (0x2) LMP Subver: 0x2
+ Manufacturer: not assigned (74)
+
+** How find remote bluetooth device?
+
+ $ hcitool scan
+Scanning ...
+ 00:22:66:D1:B7:20 Nokia 5320
+
+In order to do this remote device must be set "visible".
+
+** How to set bluetooth dongle "visible"?
+
+ $ hciconfig -a | grep hci.:
+hci0: Type: USB
+ $ sudo hciconfig hci0 piscan
+
+** How to determine bluetooth dongle is "visible"?
+
+Run hciconfig -a and see for PSCAN and ISCAN keyword:
+
+ $ hciconfig -a
+hci0: Type: USB
+...
+ UP RUNNING PSCAN ISCAN
+...
+
+then try from another host:
+
+ $ hcitool scan
+
+or use another device such as phone to search.
+
+** What version of Bluetooth support local device?
+
+ $ sudo hciconfig -a
+hci0: Type: USB
+...
+ HCI Ver: 2.0 (0x3) HCI Rev: 0x2000 LMP Ver: 2.0 (0x3) LMP Subver: 0x415c
+...
+hci1: Type: USB
+...
+ HCI Ver: 1.2 (0x2) HCI Rev: 0x2 LMP Ver: 1.2 (0x2) LMP Subver: 0x2
+...
+
+** What support remote device?
+
+ $ sudo sdptool browse 00:22:66:D1:B7:20
+
+Browsing 00:22:66:D1:B7:20 ...
+Service Name: AVRCP Target
+Service Description: Audio Video Remote Control
+Service Provider: Symbian Software Ltd.
+Service RecHandle: 0x10000
+Service Class ID List:
+ "AV Remote Target" (0x110c)
+Protocol Descriptor List:
+ "L2CAP" (0x0100)
+ PSM: 23
+ "AVCTP" (0x0017)
+ uint16: 0x100
+Profile Descriptor List:
+ "AV Remote" (0x110e)
+ Version: 0x0100
+...
+
+00:1b:52:a8:f6:96
+
+
See
http://www.bluez.org/
bluez home page
+
+* Remote control throw mobile.
+
+ http://anyremote.sourceforge.net/docs.html
+
+* Spec.
+
+See
+
+ http://www.bluetooth.com/Bluetooth/Technology/Building/Specifications/
+
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/cmd.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,9 @@
+-*- outline -*-
+
+* CMD tricks.
+
+ $ set /p TOOLOUTPUT= < temp.txt
+
+ $ for /f "tokens=*" %%i in ('%~dp0sometool.exe') do set TOOLOUTPUT=%%i
+
+ $ for /f "tokens=1 delims=" %%s in (users.txt) do (echo %%S & command "%%S") >> outputfile.txt
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/css.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,10 @@
+-*- outline -*-
+
+* Emacs.
+
+ $ sudo apt-get install css-mode
+
+* Graphical editor.
+
+ $ sudo apt-get install cssed
+
--- a/date.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/date.rst Mon Jul 20 21:25:37 2009 +0300
@@ -1,5 +1,22 @@
-*- outline -*-
+* System timer and system time.
+
+** Windows.
+
+Windows assume that system timer display locale time.
+
+** Debian.
+
+UTC=no - system timer display locale time, UTC=yes - UTC time.
+
+ $ cat /etc/default/rcS
+ UTC=no
+or
+ UTC=yes
+
+If system dual boot with Windows you must set UTC=no.
+
* Getting current date/time.
$ date +"%Y-%m-%d %H:%M:%S"
@@ -20,7 +37,7 @@
$ cat /etc/timezone
-* Get list of cupported timezone.
+* Get list of supported timezone.
$ tzselect
@@ -124,3 +141,7 @@
Here is that TZ value again, this time on standard output so that you
can use the /usr/bin/tzselect command in shell scripts:
Europe/Kiev
+
+** Debian Lenny.
+
+ $ sudo dpkg-reconfigure tzdata
--- a/debian-apt.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/debian-apt.rst Mon Jul 20 21:25:37 2009 +0300
@@ -26,3 +26,24 @@
deb http://www.backports.org/debian/ etch-backports main contrib non-free
+* Getting new keys for packages.
+
+ $ sudo apt-get update
+...
+W: There is no public key available for the following key IDs:
+9AA38DCD55BE302B
+W: GPG error: http://http.us.debian.org etch Release: The following signatures
+couldn't be verified because the public key is not available: NO_PUBKEY
+9AA38DCD55BE302B
+...
+
+ $ gpg --keyserver pgp.mit.edu --recv-key 9AA38DCD55BE302B \
+--keyserver-options http-proxy=http://user:pass@192.168.1.1:3128
+gpg: requesting key 55BE302B from hkp server pgp.mit.edu
+gpg: key 55BE302B: public key "Debian Archive Automatic Signing Key (5.0/lenny) <ftpmaster@debian.org>" imported
+gpg: no ultimately trusted keys found
+gpg: Total number processed: 1
+gpg: imported: 1 (RSA: 1)
+
+ $ gpg --export 9AA38DCD55BE302B | sudo apt-key add -
+OK
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel-productivity.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,10 @@
+-*- outline -*-
+
+* Productivity statistic.
+
+KLOC (kilo line of code), MM (man month).
+
+41 KLOC / 119 MM == 11 LOC/day | 5 people | hard task, high/middle skills, new to domain
+6 KLOC / 24 MM == 8.3 LOC/day | 6 people | hard task, high skills
+26 KLOC / 46 MM == 19 LOC/day | 7 people | easy task, middle skills
+155 KLOC / 20 MM == 260 LOC/day | 7 people | middle task, high skills, high level programming
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel-windows.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,63 @@
+-*- mode: outline -*-
+
+* Dependency Walker.
+
+Dependency Walker is a free utility that scans any 32-bit or 64-bit Windows
+module (exe, dll, ocx, sys, etc.) and builds a hierarchical tree diagram of
+all dependent modules. For each module found, it lists all the functions that
+are exported by that module, and which of those functions are actually being
+called by other modules. Another view displays the minimum set of required
+files, along with detailed information about each file including a full path
+to the file, base address, version numbers, machine type, debug information,
+and more.
+
+See
+
+ http://www.dependencywalker.com/
+
+* Kill process.
+
+** tskill.exe.
+
+ cmd> tskill {<pid>|<name>}
+
+** taskkill.exe.
+
+ cmd> taskkill /IM notepad.exe
+ cmd> taskkill /PID 827
+
+* lsof for Windows.
+
+** handle.exe from Sysinternals.
+
+ cmd> handle d:\home
+ispell.exe pid: 244 784: D:\home\drivers\token_api\src
+Far.exe pid: 432 10C: D:\home\drivers\token_api
+
+ cmd> handle -p 1265
+ C: File (RW-) C:\Program Files\Common Files\GTK\2.0\bin
+288: Section \BaseNamedObjects\mmGlobalPnpInfo
+
+** TaskList.exe.
+
+ cmd> TaskList
+Process Name PID Session Name #Session Memory
+========================= ====== ================ ======== ============
+System Idle Process 0 Console 0 28 KB
+System 4 Console 0 236 KB
+smss.exe 592 Console 0 432 KB
+csrss.exe 656 Console 0 4 404 KB
+winlogon.exe 680 Console 0 2 792 KB
+services.exe 724 Console 0 3 260 KB
+
+** netstat.exe.
+
+ cmd> netstat -o
+Type Local addr Remote addr State PID
+TCP user:1154 localhost:1153 ESTABLISHED 1512
+TCP user:5152 localhost:1052 CLOSE_WAIT 1524
+TCP user:1036 services.int:5222 ESTABLISHED 1188
+
+* Sysinternals.
+
+
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/dict.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,18 @@
+-*- outline -*-
+
+* StarDict.
+
+
+
+See
+
+ http://sourceforge.net/projects/sdcv/
+
+** sdcv.
+
+sdcv is the command line version of StarDict.
+
+See
+
+ http://sdcv.sourceforge.net/
+ http://en.wikipedia.org/wiki/Sdcv
--- a/digit-music.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/digit-music.rst Mon Jul 20 21:25:37 2009 +0300
@@ -154,3 +154,10 @@
http://mutopiaproject.org/index.html
+** Audacity.
+
+Graphical cross-platform audio editor.
+
+See
+
+ http://audacity.sourceforge.net/
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-gen.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,10 @@
+-*- outline -*-
+
+* Doxygen.
+
+ $ sudo apt-get install doxygen
+ $ sudo apt-get install doxygen-gui
+
+Graphical wizard called as:
+
+ $ doxywizard
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/domen.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,5 @@
+-*- mode: outline; coding: utf-8 -*-
+
+* Famous domen registry company.
+
+ godaddy.com
--- a/emacs.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/emacs.rst Mon Jul 20 21:25:37 2009 +0300
@@ -7,25 +7,28 @@
know about line numbers and files – it just knows an error happened, and
that’s it.
-You have several options:
+** Binary Search.
- * Binary Search – select half of the file in a region, and M-x eval-region.
- Depending on whether that causes the error or not, split this half or the
- other half again, and repeat.
+Select half of the file in a region, and M-x eval-region. Depending on whether
+that causes the error or not, split this half or the other half again, and
+repeat.
+
+** Elisp.
- * Simplified Binary Search – add (error “No error until here”) in the
- middle of your file. If you get the error “No error until here” when
- reloading the file, move the expression towards the back of the file,
- otherwise towards the front of the file.
+ - Use a keyboard macro that moves forward one expression (sexp) and evaluates
+ it.
+ - Try C-x check-parens.
+ - Set (setq debug-on-error t).
+
+** CLI.
- * Use a keyboard macro that moves forward one expression (sexp) and
- evaluates it.
+ $ emacs --no-init-file --no-site-file --debug-init
+
+** Simplified Binary Search.
- * Try the command line switch --debug-init.
-
- * Should n’t (setq debug-on-error t) help?
-
- * Try check-parens.
+Add (error “No error until here”) in the middle of your file. If you get the
+error “No error until here” when reloading the file, move the expression
+towards the back of the file, otherwise towards the front of the file.
* Using edebug.
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/flops.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,8 @@
+-*- outline -*-
+
+* Top.
+
+See
+
+ http://www.top500.org/
+
--- a/font.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/font.rst Mon Jul 20 21:25:37 2009 +0300
@@ -3,6 +3,7 @@
* How see installed font for X window.
$ fontsel &
+ $ gucharmap &
* Setup font for emacs.
@@ -21,6 +22,38 @@
$ xterm -fn "-misc-fixed-medium-r-*-*-18-*-*-*-*-*-iso10646-1" -geometry 120x42 -e mc -x
+* Fonts family.
+
+See
+
+ http://scripts.sil.org/cms/scripts/page.php?site_id=nrsi&id=FontsInCyberspace&_sc=1
+
+** DejaVu.
+
+The DejaVu fonts are a font family based on the Vera Fonts.
+
+See
+
+ http://dejavu-fonts.org/wiki/index.php?title=Main_Page
+
+*** Debian.
+
+ $ sudo apt-get install ttf-dejavu
+
+** IPA.
+
+See
+
+ http://scripts.sil.org/DoulosSILfont
+ http://scripts.sil.org/CharisSILfont
+ http://scripts.sil.org/Gentium
+
+*** Debian.
+
+ $ sudo apt-get install ttf-sil-doulos
+ $ sudo apt-get install ttf-sil-charis
+ $ sudo apt-get install ttf-gentium
+
* How configure font for X?
** Debian.
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/forth.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,15 @@
+
+* Forth Foundation Library (FFL).
+
+Data types Collections Hash & RNG Interfaces Development Compound
+Bit Array Array CRC-32 Interval Timer ANS Structures Text Input Stream
+Character Single Linked List MD-5 Argument Parser Escaped String Text Output Stream
+Dynamic String Double Linked List SHA-1 Gettexts mo-file Enumeration Regular Expressions
+Character Set Hash Table SHA-256 XML/HTML Parser String Table XML-DOM
+Date Time Binary Tree Mersenne Twister XML/HTML Writer Unit Test DateTime Output Stream
+Complex Number AVL Tree Distributed Message Catalog
+Fraction N-Tree
+
+See
+
+ http://ffl.dvoudheusden.net/index.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/fvwm.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,7 @@
+-*- outline -*-
+
+* FVWM Themes.
+
+See
+
+ http://fvwm-themes.sourceforge.net/
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/game.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,19 @@
+-*- mode: outline; coding: utf-8 -*-
+
+* Shuter.
+
+** Linux.
+
+*** Wolfenstein: Enemy Territory.
+
+*** UT2004 (Unreal Tournament).
+
+Unreal Tournament 2004 is closed source, but it's one of the few commercial
+games which also provide a native Linux port.
+
+*** Quake 3.
+
+Game was licensed under the GPL in 2005. ioQuake 3 continued development to
+Quake 3, fixing bugs and bringing new improvements to this true classic game.
+
+*** Urban Terror.
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/hardware-listner.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,66 @@
+-*- outline -*-
+
+* Linux.
+
+ $ dmesg
+ $ lsusb
+ $ lspci
+
+** Graphics card.
+
+glxinfo - details about OpenGL, the Xserver, and your graphics card
+glxinfo | grep direct - do you have direct 3d rendering?
+glxinfo | grep vendor - graphics card vendor
+lspci | grep VGA - specific graphics card model
+glxgears - a simple 3d benchmark, prints frame rate to the terminal
+xrandr - supported display resolutions
+
+** Audio.
+
+lspci | grep Audio - audio controller
+aplay --list-devices - more audio device information
+
+** Software versions.
+cat /etc/issue - current distribution and version
+apt-cache showpkg packagename - packagename’s version and dependencies
+uname -r - Linux kernel version
+uname -a - all kernel details
+
+** Networking.
+
+lspci | grep Ethernet - Ethernet controllers
+ifconfig - networking interfaces, IP addresses, and more
+
+** Processor.
+
+cat /proc/cpuinfo - all processors, clock speeds, flags, and more
+cat /proc/loadavg - processor load average for the last 1, 5, and 15 minutes
+top - press C key to sort processes by CPU usage
+
+** Memory.
+
+cat /proc/meminfo - amount of RAM and swap, and how much is being used for what
+free -m - total, used, and free memory shown in MB
+top - press M key to sort processes by memory usage
+
+** Hard disks.
+
+df -H - partitions, as well as their mount-points and usage in GB
+sudo fdisk -l - all partitions, their device names, and positions on disk
+
+** USB devices.
+
+lsusb - USB buses and attached devices
+
+** Even more.
+
+lshal -m - monitor for hardware changes
+lspci - all PCI devices
+hwinfo --short (install from package hwinfo) - overview of all hardware, as well as more detailed info
+lshw - another program for listing hardware
+lshw -html | w3m -T text/html - lists hardware with HTML output in the w3m web browser
+uptime - current time elapsed since last reboot, users, and load average
+
+** Debian.
+
+ $ sudo apt-get install lshw
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/haskell.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,6 @@
+-*- outline -*-
+
+* Installing.
+
+ $ sudo apt-get install ghc6
+
--- a/irc.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/irc.rst Mon Jul 20 21:25:37 2009 +0300
@@ -2,15 +2,110 @@
* What are IRC client for emacs?
+Most preferred is erc - it is powerful and comes with Emacs since 22.1
+version.
+
See: http://www.emacswiki.org/emacs/InternetRelayChat.
- * erc, see:
+ * erc
http://www.emacswiki.org/emacs/ERC
+ * rcirc
+ http://www.emacswiki.org/emacs/rcirc
+
* ZenIRC, see:
http://www.emacswiki.org/emacs/ZenIRC
-* How register on freenode?
+* Channel modes.
+
+** Invite-Only channel.
+
+An Invite-Only channel can only be joined if you are invited by one of its
+channel operators.
+
+To make your channel invite-only:
+
+ irc> /mode #channel +i
+
+To invite users to the channel:
+
+ irc> /invite user #channel
+
+** Private channels.
+
+Private channels turn up normally in the channels list. People can see you are
+on a private channel somewhere, but they can never find out on -which- private
+channel you are unless they search all (private) channels by brute force.
+
+To make your channel private:
+
+ irc> /mode #channel +p
+
+** Secret channels.
+
+Secret channels do not show up in a channels list and you cannot find out its
+topic unless you join it. If you are on a secret channel, someone who is not
+on the same channel can't see that you are there.
+
+To make your channel secret:
+
+ irc> /mode #channel +s
+
+* How make chanal for private discuss?
+
+Create new channel and set it invite-only and invite all you need. Or make
+password protected channel.
+
+Create new channel (by joining to non existed one) with password:
+
+ irc> /join #<channel> <password>
+
+Another people join same:
-Go to http://freenode.net/faq.shtml#nicksetup.
+ irc> /join #<channel> <password>
+
+Or join without password and setup it late:
+
+ irc> /join #<channel>
+ irc> /mode +k <password>
+
+Don't forget set topic for newly created channel:
+
+ irc> /topic #<channel> <topic>
+
+* What server well know?
+
+Random server (connect to most near placed):
+
+ irc.freenode.net
+ http://freenode.net/
+ irc.wyldryde.org
+ http://www.wyldryde.org/
+
+* Freenode.
+
+** How register on freenode?
+ irc> /msg nickserv register <your-password> <your-email>
+...get mail, make mail instructions...
+ irc> /msg nickserv set hidemail on
+
+** Adding alternative nick.
+
+After nick setup change nick:
+
+ irc> /nick foo_
+ irc> /msg nickserv group
+
+See
+
+ http://freenode.net/faq.shtml#registering
+ http://freenode.net/faq.shtml#nicksetup.
+
+* Getting help
+
+ /help
+ /msg nickserv help
+ /msg chanserv help
+
+/msg chanserv access #icfp-contest list
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/iso-9660.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,10 @@
+-*- outline -*-
+
+* Mounting ISO Images in Solaris.
+
+ $ /usr/sbin/lofiadm -d /dev/lofi/1
+ $ /usr/sbin/lofiadm -a /var/tmp/CDImage.iso
+ $ [ -d /mnt ] && echo OK || echo FAILURE
+ $ /usr/sbin/umount /mnt
+ $ /usr/sbin/mount -F hsfs -o ro /dev/lofi/1 /mnt
+ $ cd /mnt
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/javascript.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,17 @@
+-*- outline -*-
+
+* Inline in HTML.
+
+ <html>
+ <h1>Hello!<h1/>
+ <script language="JavaScript">
+ <!--
+ alert("Hello!")
+ document.write("sin(10) = " + Math.sin(10))
+ //-->
+ </script>
+ </html>
+
+* Hot calc by Firefox.
+
+At URI type some thing like "javascript: 4+5"
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/latex.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,12 @@
+-*- outline -*-
+
+* Compact slides for nice printing.
+
+Installing:
+
+ $ sudo aptitude install pdfjam
+
+Using:
+
+ $ pdfnup --nup "2x3" --offset ".25cm .25cm" --delta ".25cm .5cm" \
+ --frame true --scale 0.9 slides.pdf
--- a/licence.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/licence.rst Mon Jul 20 21:25:37 2009 +0300
@@ -109,3 +109,40 @@
Zlib/libpng License -
Zope Public License 2.0/2.1
+* Copyright low.
+
+See
+
+ http://en.wikipedia.org/wiki/List_of_parties_to_international_copyright_treaties
+ List of parties to international copyright agreements.
+
+** Berne Convention for the Protection of Literary and Artistic Works.
+
+Came into force 1887-12-05.
+
+ http://www.wipo.int/treaties/en/ShowResults.jsp?lang=en&treaty_id=15
+ List of country where Berne convention in force.
+
+** Universal Copyright Convention, Geneva Act (UCC Geneva).
+
+Came into force 1955-09-16.
+
+** Universal Copyright Convention, Paris Act (UCC Paris).
+
+Came into force 1974-07-10.
+
+** World Intellectual Property Organization Copyright Treaty.
+
+ http://www.wipo.int/treaties/en/ip/wct/trtdocs_wo033.html
+ Text of convention.
+ http://www.wipo.int/treaties/en/ShowResults.jsp?lang=en&treaty_id=16
+ List of country where WTC convention in force.
+
+** Agreement on Trade-Related Aspects of Intellectual Property Rights (TRIPS)
+
+Membership in TRIPS coincides with membership in the World Trade Organization.
+
+ http://www.wto.org/english/docs_e/legal_e/27-trips_01_e.htm
+ Text of convention.
+ http://en.wikipedia.org/wiki/Agreement_on_Trade-Related_Aspects_of_Intellectual_Property_Rights
+
--- a/locale.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/locale.rst Mon Jul 20 21:25:37 2009 +0300
@@ -22,6 +22,10 @@
$ sudo apt-get install locales-all
+**** Generate locales.
+
+ $ sudo dpkg-reconfigure locales
+
* FreeBSD.
** How see current locale settings?
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/mail.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,31 @@
+-*- outline -*-
+
+* Sending email via gmail in emacs.
+
+; install starttls from here (no need for patch)
+; http://josefsson.org/emacs-smtp-starttls.html
+
+(setq send-mail-function 'smtpmail-send-it
+ message-send-mail-function 'smtpmail-send-it
+ smtpmail-starttls-credentials
+ '(("smtp.gmail.com" 587 nil nil))
+ smtpmail-auth-credentials
+ (expand-file-name "~/.authinfo")
+ smtpmail-default-smtp-server "smtp.gmail.com"
+ smtpmail-smtp-server "smtp.gmail.com"
+ smtpmail-smtp-service 587
+ smtpmail-debug-info t
+ starttls-extra-arguments nil
+ smtpmail-warn-about-unknown-extensions t
+ starttls-use-gnutls nil)
+
+machine smtp.gmail.com login [your name]@gmail.com password [your password]
+
+And finally download, unzip, make and install startttls:
+
+http://josefsson.org/emacs-smtp-starttls.html
+
+See
+
+ http://justinsboringpage.blogspot.com/2009/02/sending-email-via-gmail-in-emacs.html
+ http://obfuscatedcode.wordpress.com/2007/04/26/configuring-emacs-for-gmails-smtp
--- a/man.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/man.rst Mon Jul 20 21:25:37 2009 +0300
@@ -1,5 +1,32 @@
-*- outline -*-
+* Man sections.
+
+ 1 Executable programs or shell commands.
+ 2 System calls (functions provided by the kernel).
+ 3 Library calls (functions within program libraries).
+ 4 Special files (usually found in /dev).
+ 5 File formats and conventions eg /etc/passwd.
+ 6 Games.
+ 7 Miscellaneous (including macro packages and conventions).
+ 8 System administration commands (usually only for root).
+
+* Invoking man.
+
+** Search for prog, func, conf file.
+
+ $ man [<section>] <item>
+
+** Search by specific keywords.
+
+ $ man -k <keywords>
+
+** Throw Emacs.
+
+ M-x man RET [<section>] <item>
+
+ M-x man RET -k SPACE <keywords>
+
* Sections order.
NAME - brief prog description
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/native.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,13 @@
+-*- outline -*-
+
+* Latin abbreviation.
+
+** e.g.
+
+When you mean “for example,” use e.g. It is an abbreviation for the Latin
+phrase "exempli gratia".
+
+** i.e.
+
+When you mean “that is,” use “i.e.” It is an abbreviation for the Latin phrase
+"id est".
--- a/net.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/net.rst Mon Jul 20 21:25:37 2009 +0300
@@ -20,6 +20,10 @@
$ sudo update-modules
+Another way is adding to /etc/modprobe.d/blacklist.local lines
+
+ blacklist ipv6
+
You can safely wipe out any IPv6 reference in "/etc/hosts" and
"/etc/network/interfaces".
--- a/printer.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/printer.rst Mon Jul 20 21:25:37 2009 +0300
@@ -20,6 +20,22 @@
$ sudo apt-get cupsys
$ sudo apt-get cupsys-client
+** List of printers.
+
+ $ lpstat -v
+device for HL2070N: lpd://192.168.1.102/binary_p1
+
+** What printer default?
+
+ $ lpstat -d
+system default destination: HL2070N
+
+or more verbose
+
+ $ lpstat -s
+system default destination: HL2070N
+device for HL2070N: lpd://192.168.1.102/binary_p1
+
* HP printers.
** Where find driver for HP printers?
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/selections.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,28 @@
+-*- mode: outline; coding: utf-8 -*-
+
+* MS Windows.
+
+* X Windows.
+
+X11 selection transfers (which both PRIMARY and CLIPBOARD are instances of)
+are done through synthesized X11 events and properties changes.
+
+The messages used to transfer the selections have a maximum size that's
+actually quite low (a few kilobytes).
+
+See
+
+ http://standards.freedesktop.org/clipboards-spec/clipboards-latest.txt
+ http://www.jwz.org/doc/x-cut-and-paste.html
+ http://en.wikipedia.org/wiki/X_Window_selection
+ http://www.emacswiki.org/cgi-bin/wiki/CopyAndPaste
+
+** xclipboard.
+
+The xclipboard command emulates the traditional Macintosh style clipboard by
+claiming ownership of the CLIPBOARD selection and answering any requests for
+its value. When it loses the selection, it immediately asks the new owner for
+the value of the CLIPBOARD selection, makes a local copy, and then reasserts
+ownership of the CLIPBOARD. This way the clipboard contents can persist after
+the original application has exited.
+
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/svn.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,7 @@
+-*- outline -*-
+
+* Copy repo from SourceForge to GoogleCode.
+
+ $ svnsync init https://PROJ.googlecode.com/svn https://PROJ.svn.sourceforge.net/svnroot/PROJ
+ $ svnsync --username NAME --password PASSWORD \
+ sync https://PROJ.googlecode.com/svn https://PROJ.svn.sourceforge.net/svnroot/PROJ
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/terminal.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,14 @@
+-*- outline -*-
+
+* X window pseudo terminal.
+
+** luit.
+
+Luit is a filter that can be run between an arbitrary application and a UTF-8
+terminal emulator. It will convert application output from the locale’s
+encoding into UTF-8, and convert terminal input from UTF-8 into the locale’s
+encoding.
+
+Example:
+
+ $ luit -encoding ’ISO 8859-1’ emacs -nw
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/thunderbird.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,61 @@
+-*- outline -*-
+
+* FAQ.
+
+See
+
+ http://www.mozilla.org/support/thunderbird/faq
+ http://www.mozilla.org/support/thunderbird/tips
+ http://kb.mozillazine.org/Thunderbird_:_FAQs
+
+* Make newsgroup names appear expanded, not abbreviated.
+
+The newsgroup server names appear abbreviated in the folder pane. To display
+the full name, use the Config Editor to change the value of the preference
+mail.server.default.abbreviate to false.
+
+* Locate your profile folder.
+
+xxxxxxxx is a random string of 8 characters.
+
+ - %AppData%\Thunderbird\Profiles\xxxxxxxx.default\
+ Windows
+ - C:\Documents and Settings\[User Name]\Application Data\Thunderbird\Profiles
+ Windows XP/2000
+ - C:\users\[User Name]\AppData\Roaming\Thunderbird\Profiles\
+ Windows Vista
+ - C:\WINDOWS\Application Data\Thunderbird\Profiles\xxxxxxxx.default\
+ Windows 95/98/Me
+ - ~/.thunderbird/xxxxxxxx.default/
+ ~/.mozilla-thunderbird/xxxxxxxx.default/
+ Linux
+ - ~/Library/Thunderbird/Profiles/xxxxxxxx.default/
+ Mac OS X
+
+* Customization.
+
+These files do not exist by default, so you need to create it before you can
+start adding your preferences:
+
+ <profile-dir>/chrome/userChrome.css
+ <profile-dir>/chrome/userContent.css
+ <profile-dir>/user.js
+
+** userChrome.css
+
+This file sets the display rules for various elements in the Thunderbird user
+interface.
+
+** userContent.css
+
+Thqis file sets the display rules for web content.
+
+** user.js
+
+This is the additional preferences file for Thunderbird.
+
+** Make newsgroup names appear expanded, not abbreviated.
+
+The newsgroup server names appear abbreviated in the folder pane. To display
+the full name, use the Config Editor to change the value of the preference
+'mail.server.default.abbreviate' to 'false'.
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/typing.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,9 @@
+-*- outline -*-
+
+* Which software use?
+
+ $ sudo apt-get install gtypist
+
+or
+
+ $ sudo apt-get install tuxtype
--- a/video-file.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/video-file.rst Mon Jul 20 21:25:37 2009 +0300
@@ -14,6 +14,10 @@
Then do:
+ $ ffmpeg -i test.3gp -f mpegvideo -ar 44100 -ac 1 -acodec mp3 test.mpg
+
+ $ for i in `ls -1 *.3gp | cut -d. -f1`; do ffmpeg -y -i $i.3gp -sameq -f mpegvideo -s cif -r 25 -ar 32000 -ac 1 mpegs/$i.mpg; done
+
$ ffmpeg -i video-in.3gp -b 250 -s 160×120 -r 15 -f avi -an video-out.avi
or
$ mencoder -oac mp3lame -ovc lavc -o video-out.avi -vf pp,2xsai,scale video-in.3gp
@@ -21,3 +25,20 @@
$ mencoder -o video-in.avi -vf pp,2xsai,scale -ovc lavc video-out.3gp
or
$ mencoder -o video-in.avi -vf rotate=2 -oac pcm -ovc divx4 video-out.3gp
+
+
+You need to compile FFmpeg with AMR support (--enable-amr_nb
+--enable-amr_wb)
+
+AMR WB FLOAT NOTICE ! Make sure you have downloaded TS26.204
+V5.1.0 from
+http://www.3gpp.org/ftp/Specs/archive/26_series/26.204/26204-510.zip
+and extracted the source to libavcodec/amrwb_float
+
+
+AMR NB FLOAT NOTICE ! Make sure you have downloaded TS26.104
+REL-5 V5.1.0 from
+http://www.3gpp.org/ftp/Specs/latest/Rel-5/26_series/26104-5??.zip
+and extracted the source to libavcodec/amr_float
+and if u try this on an alpha, u may need to change Word32 to int in
+amr/typedef.h
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/virtualization.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,11 @@
+-*- outline -*-
+
+* VirtualBox.
+
+x86 virtualization solution.
+
+In Debian Etch use backport repo.
+
+ $ sudo apt-get install virtualbox-ose
+
+
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/virus.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,29 @@
+-*- mode: outline; coding: utf-8 -*-
+
+* Rootkit.
+
+** Debian.
+
+ $ sudo apt-get install rkhunter chkrootkit
+
+*** rkhunter.
+
+ $ sudo rkhunter -c
+...
+
+ http://www.rootkit.nl/projects/rootkit_hunter.html
+
+***
+
+ $ sudo chkrootkit
+...
+
+* Virus.
+
+** Debian.
+
+*** ClamAV.
+
+anti-virus utility for Unix.
+
+ $ sudo apt-get install clamav
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/x.rst Mon Jul 20 21:25:37 2009 +0300
@@ -0,0 +1,8 @@
+-*- mode: outline; coding: utf-8 -*-
+
+* Standard.
+
+See
+
+ http://www.tronche.com/gui/x/icccm/
+
--- a/xorg.rst Mon Jul 20 20:06:48 2009 +0300
+++ b/xorg.rst Mon Jul 20 21:25:37 2009 +0300
@@ -22,3 +22,47 @@
EndSection
Time measure in minute.
+
+To enable this configuration you must set "DPMS" option in "Monitor" section:
+
+ Section "Monitor"
+...
+ Option "DPMS"
+...
+ EndSection
+
+* Set display dimensions.
+
+To see currect settings type:
+
+ $ xdpyinfo | grep dimensions:
+dimensions: 1280x1024 pixels (382x302 millimeters)
+
+From this dimensions calculated your display dpi resolution:
+
+ $ xdpyinfo | grep resolution:
+resolution: 85x86 dots per inch
+
+To set dimensions edit '/etc/X11/xorg.conf' (size in mm):
+
+ $ cat /etc/X11/xorg.conf
+...
+Section "Monitor"
+...
+ DisplaySize width height
+...
+EndSection
+
+** Overriding EDID Settings for NVidia cards.
+
+If you're using NVIDIA display drivers version 8756 or above and your monitor
+reports an EDID DPI value, you must tell the drivers to ignore this value as
+it takes precedence over all the above configuration options/arguments:
+
+Section "Monitor"
+...
+ DisplaySize width height
+ Option "UseEdidDpi" "false"
+...
+EndSection
+