| 68 | | Padre 0.27 was included in Debian Sid http://packages.debian.org/sid/main/padre |
| | 68 | Padre 0.27 was included in Debian Sid (unstable) http://packages.debian.org/sid/main/padre |
| | 69 | |
| | 70 | |
| | 71 | To install Padre on Debian: |
| | 72 | |
| | 73 | Add an "Unstable" source to /etc/apt/sources.list as follows: |
| | 74 | {{{ |
| | 75 | deb http://mirror.isoc.org.il/pub/debian/ unstable main contrib non-free |
| | 76 | deb-src http://mirror.isoc.org.il/pub/debian/ unstable main contrib non-free |
| | 77 | }}} |
| | 78 | |
| | 79 | Then update: |
| | 80 | {{{ |
| | 81 | # apt-get update |
| | 82 | }}} |
| | 83 | |
| | 84 | And now - install: |
| | 85 | {{{ |
| | 86 | # apt-get install padre |
| | 87 | }}} |
| | 88 | |