# HG changeset patch # User Oleksandr Gavenko # Date 1248114337 -10800 # Node ID e475cd4f789ae9ffc403affa889bf2892054f82a # Parent 906b793ee3c3cc0d8e348a6e06496dbffe795391# Parent b6fcb9e6652e72fe6251b3c77a33b1bb495b50f6 Merged with conversion from CR/LF to LF. diff -r 906b793ee3c3 -r e475cd4f789a auto-proof.rst --- 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) diff -r 906b793ee3c3 -r e475cd4f789a blog.rst --- /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. + diff -r 906b793ee3c3 -r e475cd4f789a bluetooth.rst --- 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/ + diff -r 906b793ee3c3 -r e475cd4f789a cmd.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a css.rst --- /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 + diff -r 906b793ee3c3 -r e475cd4f789a date.rst --- 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 diff -r 906b793ee3c3 -r e475cd4f789a debian-apt.rst --- 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) " 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 diff -r 906b793ee3c3 -r e475cd4f789a devel-productivity.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a devel-windows.rst --- /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 {|} + +** 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. + + diff -r 906b793ee3c3 -r e475cd4f789a dict.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a digit-music.rst --- 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/ diff -r 906b793ee3c3 -r e475cd4f789a doc-gen.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a domen.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a emacs.rst --- 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. diff -r 906b793ee3c3 -r e475cd4f789a flops.rst --- /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/ + diff -r 906b793ee3c3 -r e475cd4f789a font.rst --- 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. diff -r 906b793ee3c3 -r e475cd4f789a forth.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a fvwm.rst --- /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/ diff -r 906b793ee3c3 -r e475cd4f789a game.rst --- /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. diff -r 906b793ee3c3 -r e475cd4f789a hardware-listner.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a haskell.rst --- /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 + diff -r 906b793ee3c3 -r e475cd4f789a irc.rst --- 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 # + +Another people join same: -Go to http://freenode.net/faq.shtml#nicksetup. + irc> /join # + +Or join without password and setup it late: + + irc> /join # + irc> /mode +k + +Don't forget set topic for newly created channel: + + irc> /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 +...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 diff -r 906b793ee3c3 -r e475cd4f789a iso-9660.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a javascript.rst --- /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. + + +

Hello!

+ + + +* Hot calc by Firefox. + +At URI type some thing like "javascript: 4+5" diff -r 906b793ee3c3 -r e475cd4f789a latex.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a licence.rst --- 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 + diff -r 906b793ee3c3 -r e475cd4f789a locale.rst --- 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? diff -r 906b793ee3c3 -r e475cd4f789a mail.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a man.rst --- 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 [
] + +** Search by specific keywords. + + $ man -k + +** Throw Emacs. + + M-x man RET [
] + + M-x man RET -k SPACE + * Sections order. NAME - brief prog description diff -r 906b793ee3c3 -r e475cd4f789a native.rst --- /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". diff -r 906b793ee3c3 -r e475cd4f789a net.rst --- 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". diff -r 906b793ee3c3 -r e475cd4f789a printer.rst --- 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? diff -r 906b793ee3c3 -r e475cd4f789a selections.rst --- /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. + diff -r 906b793ee3c3 -r e475cd4f789a svn.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a terminal.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a thunderbird.rst --- /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: + + /chrome/userChrome.css + /chrome/userContent.css + /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'. diff -r 906b793ee3c3 -r e475cd4f789a typing.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a video-file.rst --- 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 diff -r 906b793ee3c3 -r e475cd4f789a virtualization.rst --- /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 + + diff -r 906b793ee3c3 -r e475cd4f789a virus.rst --- /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 diff -r 906b793ee3c3 -r e475cd4f789a x.rst --- /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/ + diff -r 906b793ee3c3 -r e475cd4f789a xorg.rst --- 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 +