Articoli marcati con tag ‘pdf’

Ubuntu: come convertire facilmente le pagine del man nel formato PDF

Ecco una notizia incredibilmente utile e che dovrete  imparare ad usare. Quante volte vi è capitato di aprire il terminale, digitare il famoso comando man per poi veder comparire il manuale e le informazioni correlate ad un comando o programma?

Ubuntu convertire le pagine del man in formato PDF1 Ubuntu: come convertire facilmente le pagine del man nel formato PDF

Facciamo l’esempio che il comando a cui volete applicare il man sia fork, una system call che poi crea un processo figlio. Per avere il suo man in formato PDF sarà sufficiente digitare:

man -t fork | ps2pdf – fork.pdf

adesso ci viene in aiuto ps2pdf, comodissimo in questi casi.  Fate molta attenzione al trattino prima di fork.pdf, non è attaccato al nome del pdf ma tra questo e fork.pdf c’è uno spazio, se lo omettete avrete un errore da terminale.

Share

In arrivo il plugin PDF per il fantastico Google Chrome 6

google chrome In arrivo il plugin PDF per il fantastico Google Chrome 6

Google continua nel suo cammino di implementazione di plug-in ed estensioni per il suo ottimo browser Google Chrome, confermando che la prossima versione includerà sin da subito un mezzo per l’apertura e lettura dei file in formato PDF, rendendo inutile l’installazione di Adobe Reader.

Google afferma che tale scelta porterà con se molti vantaggi dal punto di vista dell’utente:

  • non ci sarà bisogno di scaricare nessun software per poter leggere un file PDF mentre stiamo navigando su Internet;
  • i file PDF saranno renderizzati in maniera molto simile alle pagine web, lasciandone inalterate le stesse interazioni di base, come lo zoom e la ricerca all’interno del testo;
  • ci sarà più protezione per gli utenti, poiché le funzionalità dei file PDF verranno eseguite proprio all’interno della stessa sandbox che Chrome usa per il rendering delle pagine internet;
  • gli utenti riceveranno, in automatico, gli aggiornamenti di questo componente senza dover procedere ad aggiornare manualmente il software.
  • L’ultima versione beta di Chrome (la 6.0.437.3) comprende questa nuova funzione, ma è disabilitata; per poterla attivare occorre   aprire il percorso locale chrome://plugins.

    Attualmente, comunque, ci sono alcuni aspetti negativi correlati all’installazione del plugin in oggetto: il reader PDF integrato nel browser  Chrome non supporta in pieno tutte le caratteristiche che possiamo trovare in Adobe Reader e la qualità del rendering del file PDF non è pienamente soddisfacente.

    Google annuncia che farà partire una collaborazione con gli sviluppatori di Adobe Reader per potenziare gli aspetti salienti.

    Share
    GOOGLE consiglia!
    Consigli GOOGLE
    Consigli GOOGLE
    SEO Powered by Platinum SEO from Techblissonline