Thanks to Planet Ubuntu NL I found a blog entry by Pascal de Bruijn with a hack to extract fonts from a PDF, using pdftops and FontForge. When I have some time, I definitely should try this.
Stefaan Lippens' webface
yet another node of the web
Recent blog posts
- Simple and quick command line argument handling in Python
- List of available git commands
- Slow down Charlie Parker with SoX
- PHP lint checking multiple files in parallel
- Running 32 bit executables on a 64 bit machine (Ubuntu Linux)
- Slides of my public PhD defense
- Indentation with spaces and the tab key in Eclipse (3.5 aka Galileo)
- Keyboard shortcut for code completion in Eclipse on Mac OS X
- Gearman (job queue manager) command line tool: routing the workload to the worker process arguments with xargs
- PDF to PostScript conversion: pdf2ps versus pdftops
Popular tags
Visitors world map