<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html style="direction: ltr;">
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<style>body p { margin-bottom: 0cm; margin-top: 0pt; } </style>
<style>body p { margin-bottom: 0cm; margin-top: 0pt; } </style>
<style>body p { margin-bottom: 0cm; margin-top: 0pt; } </style>
</head>
<body style="direction: ltr;" bidimailui-detected-decoding-type="UTF-8"
text="#000000" bgcolor="#ffffff">
<p>/home/debuser# apt-get install --reinstall
padre</p>
<p style="direction: ltr;">Reading package lists... Done<br>
Building dependency tree <br>
Reading state information... Done<br>
0 upgraded, 0 newly installed, 1 reinstalled, 0 to remove and 1 not
upgraded.<br>
Need to get 0 B/1,326 kB of archives.<br>
After this operation, 0 B of additional disk space will be used.<br>
(Reading database ... 214850 files and directories currently installed.)<br>
Preparing to replace padre 0.63.ds1-1 (using
.../padre_0.63.ds1-1_all.deb) ...<br>
Unpacking replacement padre ...<br>
Processing triggers for menu ...<br>
Processing triggers for man-db ...<br>
Processing triggers for gnome-menus ...<br>
Processing triggers for desktop-file-utils ...<br>
Setting up padre (0.63.ds1-1) ...<br>
Processing triggers for menu ...<br>
/home/debuser# <br>
</p>
</body>
</html>