<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
<i><small>>Walter Bender wrote:<br>
>FYI, there is a patch (that has not yet landed) to let you access
$HOME/Documents directly from the "Diario".<br>
------------------------------------------------------------------------------</small></i><br>
<br>
<br>
<br>
Uau! esa si que es una buena noticia!<br>
<br>
(acceder desde el diario a un cierto directorio de Linux)<br>
<br>
Paolo Benini<br>
</body>
</html>