Re: Getting rid of proprietary fonts
On 01/23/2012 02:31 AM, Michael Vasiliev wrote: On 01/22/2012 04:34 PM, Nadav Har'El wrote: I wonder if anybody knows how I can use OpenOffice, or some other tool, to find *where* in the document a certain font is being used? Not directly an answer to the question asked, but what the heck, here for the history: http://extensions.services.openoffice.org/project/TestFonts My mistake, sorry (I blame late-night posting), it does exactly what's asked. You can select a font and search for all occurrences of said font in the document. -- Cheers, MichaelV ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Getting rid of proprietary fonts
On Sunday, January 22, 2012 02:09:30 PM Matan Ziv-Av wrote: > On Sun, 22 Jan 2012, Nadav Har'El wrote: > > I wonder if anybody knows how I can use OpenOffice, or some other > > tool, to find *where* in the document a certain font is being > > used? > > Did you try OO's "find and replace" dialog? It seems to be able to > search by format/attributes (hidden behind a "more options" button, > at least in libreoffice-writer-3.4.4.2 in Fedora). And just before that, look through all the paragraph styles and character styles to see if one of them uses a nonfree font. SteveT * My new 99 cent Kindle book : http://www.amazon.com/dp/B006QTBLA2 * * Steve Litt : http://www.troubleshooters.com * . ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Getting rid of proprietary fonts
On 01/22/2012 04:34 PM, Nadav Har'El wrote: I wonder if anybody knows how I can use OpenOffice, or some other tool, to find *where* in the document a certain font is being used? Not directly an answer to the question asked, but what the heck, here for the history: http://extensions.services.openoffice.org/project/TestFonts -- Sincerely Yours, Michael Vasiliev ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Virtual Server - Consult...
Mind you that the level of user experience would depend on the speed if the display adapter. This is not a simple requirement in a virtual environment. None of the desktop-level virtualization solutions would give you that. Display will be slow, and with it - the entire user experience. You need something with vga pass through. This is what you need to search for. Etzion On Jan 23, 2012 12:36 AM, "Nadav Har'El" wrote: > On Sun, Jan 22, 2012, Robert Wallner wrote about "Re: Virtual Server - > Consult...": > > I think it depends on what operating system will run inside those VMs. > > Another option would be also qemu. > > You're probably thinking of qemu with KVM, in which case it's the same > option as the "KVM" option raised already. > > Using qemu *only*, without KVM (or Xen) is not a sensible option on > today's hardware. It is very slow, and KVM significantly speeds it up by > using hardware virtualization (Intel VMX or AMD SVM) which is present on > all > x86 PCs manufactured in the last 5 or so years. > > Nadav. > > -- > Nadav Har'El|Monday, Jan 23 > 2012, > n...@math.technion.ac.il > |- > Phone +972-523-790466, ICQ 13349191 |Bumper sticker on stealth bomber: > "If you > http://nadav.harel.org.il |can read this, we wasted a lot of > money!" > > ___ > Linux-il mailing list > Linux-il@cs.huji.ac.il > http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il > ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Virtual Server - Consult...
On Sun, Jan 22, 2012, Robert Wallner wrote about "Re: Virtual Server - Consult...": > I think it depends on what operating system will run inside those VMs. > Another option would be also qemu. You're probably thinking of qemu with KVM, in which case it's the same option as the "KVM" option raised already. Using qemu *only*, without KVM (or Xen) is not a sensible option on today's hardware. It is very slow, and KVM significantly speeds it up by using hardware virtualization (Intel VMX or AMD SVM) which is present on all x86 PCs manufactured in the last 5 or so years. Nadav. -- Nadav Har'El|Monday, Jan 23 2012, n...@math.technion.ac.il |- Phone +972-523-790466, ICQ 13349191 |Bumper sticker on stealth bomber: "If you http://nadav.harel.org.il |can read this, we wasted a lot of money!" ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Virtual Server - Consult...
I think it depends on what operating system will run inside those VMs. Another option would be also qemu. 2012/1/22 Amichai Rotman > Hello, > I'd like to build a virtual server at home: One physical machine to run 3 > desktop VMs (one for each family member) and shared storage for all VMs. > What would be the best to use: VirtualBox, VMWare Sex or KVM? > > Thanks, > Amichai. > > ___ > Linux-il mailing list > Linux-il@cs.huji.ac.il > http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il > > -- Robert Wallner 0527013365 ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Virtual Server - Consult...
On Sun, Jan 22, 2012, Boris shtrasman wrote about "Re: Virtual Server - Consult...": > On 22/01/2012, Amichai Rotman wrote: > > What would be the best to use: VirtualBox, VMWare Sex or KVM? >... > didn't do a real benchmarking but from my small testes I had the Wow, what a bunch of Freudian slips :-) (obviously, the words you were looking for were "ESX" and "tests" :-)). Anyway, just wondering - why do you want each family member to have his own virtual machine? This will basically means that you'll need to install and maintain several copies of the OS. Unless these family members really know how to administrate their own VM, wouldn't it be simpler to have them all use the same OS, with several separate users? Linux, preferably? :-) With all that being said, my favorite is KVM. It's hard to give concrete advantages over VirtualBox, though. I think VMware ESX is irrelevant for you - it's an expensive piece of software, and only runs on a limited set of hardware. Perhaps you meant VMware Server. -- Nadav Har'El|Sunday, Jan 22 2012, n...@math.technion.ac.il |- Phone +972-523-790466, ICQ 13349191 |Willpower: The ability to eat only one http://nadav.harel.org.il |salted peanut. ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Virtual Server - Consult...
May be stupid question - do you really need VMs? Different users on the save box will not do? Valery. > > From: Amichai Rotman >To: Linux-IL >Sent: Sunday, January 22, 2012 11:19 PM >Subject: Virtual Server - Consult... > > >Hello, >I'd like to build a virtual server at home: One physical machine to run 3 >desktop VMs (one for each family member) and shared storage for all VMs. >What would be the best to use: VirtualBox, VMWare Sex or KVM? >Thanks, >Amichai. >___ >Linux-il mailing list >Linux-il@cs.huji.ac.il >http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il > > >___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Virtual Server - Consult...
On 22/01/2012, Amichai Rotman wrote: > Hello, > I'd like to build a virtual server at home: One physical machine to run 3 > desktop VMs (one for each family member) and shared storage for all VMs. > What would be the best to use: VirtualBox, VMWare Sex or KVM? > > Thanks, > Amichai. > I found kvm and VirtualBox as best options for my needs , Each has it benefits for me it was the deployment speed for kvm (it took less tame to take guest machines from one server to other and to deploy the guest machine). Also I found kvm more friendly to hardware changes for the guest machine. didn't do a real benchmarking but from my small testes I had the impression that kvm uses slightly less memory. ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Virtual Server - Consult...
Hello, I'd like to build a virtual server at home: One physical machine to run 3 desktop VMs (one for each family member) and shared storage for all VMs. What would be the best to use: VirtualBox, VMWare Sex or KVM? Thanks, Amichai. ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Getting rid of proprietary fonts
Isn't the settings dialogue for font replacement is for? I am not in front of it now, but I remember there is a font substitution setting somewhere... Amichai. On Jan 22, 2012 5:35 PM, "Nadav Har'El" wrote: ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Getting rid of proprietary fonts
On Sun, Jan 22, 2012 at 4:34 PM, Nadav Har'El wrote: > Hi, I have an 80 page OpenOffice document (Hspell's "niqqudless.odt") > which I wrote, shamefully, assuming Microsoft's TrueType fonts. > > Now, I wanted to switch this document to use only free fonts, such as > the Culmus fonts for Hebrew, Nimbus Sans for English, and the DejaVu > fonts for other languages in this document (Arabic, Turkish, Greek, > Russian, > etc.). The result will not only be freeer - it actually looks better! > > Starting the transformation was easy - I modified the few main paragraph > and character styles that I was using, and in a few minutes, most of the > document was converted to the free fonts. > > But my problem is that the long document *still* uses the non-free fonts in > some places. I can see this if I export the document to PDF, and run > "pdffonts" > on it. I indeed found a bunch of places where this happened (e.g., I > explicitly used a certain font on some word, instead of relying on a > style), > but couldn't find *ALL* of them, so my document still depends on these > non-free fonts. > > I wonder if anybody knows how I can use OpenOffice, or some other tool, > to find *where* in the document a certain font is being used? > > I can suggest some ideas, since I spent today hunting fonts in a pdf document, and I know you are an xfig fan. I found that filling with pattern in xfig creates a type 3 font (use filled to get rid of this), and that the default xfig fonts are postscript fonts, the default of which is times new roman (use latex fonts to get rid of this, and set the "special flag" flag to "special". I could not get rid of these fonts unless I changed the font in the figure and exported the figure again. For the pattern, I had to re-edit each patterned object, and this included a thick dashed line. > As a last resort, I plan to open the .odt file and read the XML where > this information has to exist - but before I do that, I wonder if > someone knows an easier OpenOffice option, or tool, exists. > > Thanks, > Nadav. > > -- > Nadav Har'El|Sunday, Jan 22 > 2012, > n...@math.technion.ac.il > |- > Phone +972-523-790466, ICQ 13349191 |Earth First! We can strip-mine the > other > http://nadav.harel.org.il |planets later... > > ___ > Linux-il mailing list > Linux-il@cs.huji.ac.il > http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il > -- Orna Agmon Ben-Yehuda. http://ladypine.org ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Getting rid of proprietary fonts
On Sun, 22 Jan 2012, Nadav Har'El wrote: On Sun, Jan 22, 2012, Matan Ziv-Av wrote about "Re: Getting rid of proprietary fonts": On Sun, 22 Jan 2012, Nadav Har'El wrote: I wonder if anybody knows how I can use OpenOffice, or some other tool, to find *where* in the document a certain font is being used? Did you try OO's "find and replace" dialog? It seems to be able to search by format/attributes (hidden behind a "more options" button, at least in libreoffice-writer-3.4.4.2 in Fedora). Thanks - even after you told me about this option, it was hard to find :-) But I don't understand what this does... All I can check is "font" - where do I tell it *which* font to look for? I tried putting "Arial" in the text box, choosing the "font" button, and then searching. It found nothing. Maybe I, or you, or both of us, are misunderstanding what this dialog is supposed to be doing... Don't look in "Attributes", but in "Format". Make sure that you only set the font family to search in "CTL" and not in "Western", as if there is a family (or another condition) in both, the search if for "and" of both conditions. -- Matan Ziv-Av. ma...@svgalib.org ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Getting rid of proprietary fonts
On Sun, Jan 22, 2012, Matan Ziv-Av wrote about "Re: Getting rid of proprietary fonts": > On Sun, 22 Jan 2012, Nadav Har'El wrote: > > >I wonder if anybody knows how I can use OpenOffice, or some other tool, > >to find *where* in the document a certain font is being used? > > Did you try OO's "find and replace" dialog? It seems to be able to > search by format/attributes (hidden behind a "more options" button, > at least in libreoffice-writer-3.4.4.2 in Fedora). Thanks - even after you told me about this option, it was hard to find :-) But I don't understand what this does... All I can check is "font" - where do I tell it *which* font to look for? I tried putting "Arial" in the text box, choosing the "font" button, and then searching. It found nothing. Maybe I, or you, or both of us, are misunderstanding what this dialog is supposed to be doing... -- Nadav Har'El|Sunday, Jan 22 2012, n...@math.technion.ac.il |- Phone +972-523-790466, ICQ 13349191 |You do not need a parachute to skydive. http://nadav.harel.org.il |You only need one to skydive twice. ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Getting rid of proprietary fonts
On Sun, Jan 22, 2012, Dotan Shavit wrote about "Re: Getting rid of proprietary fonts": > >I wonder if anybody knows how I can use OpenOffice, or some other tool, > >to find *where* in the document a certain font is being used? > > Hmm... Save as HTML ? Thanks for the idea. This is ugly, and tedious, but it actually works and I finally was able to find and remove all the references to those nasty non-free fonts. I still wonder if there isn't a much easier way. Some "search font" form in OpenOffice, or a utility to turn all text in some font to pink ;-) Thanks, Nadav. -- Nadav Har'El|Sunday, Jan 22 2012, n...@math.technion.ac.il |- Phone +972-523-790466, ICQ 13349191 |Attention: There will be a rain dance http://nadav.harel.org.il |Friday night, weather permitting. ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Getting rid of proprietary fonts
On Sun, 22 Jan 2012, Nadav Har'El wrote: I wonder if anybody knows how I can use OpenOffice, or some other tool, to find *where* in the document a certain font is being used? Did you try OO's "find and replace" dialog? It seems to be able to search by format/attributes (hidden behind a "more options" button, at least in libreoffice-writer-3.4.4.2 in Fedora). -- Matan Ziv-Av. ma...@svgalib.org ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Getting rid of proprietary fonts
You can gunzip odp file and grep xml sources. On Sun, Jan 22, 2012 at 4:34 PM, Nadav Har'El wrote: > Hi, I have an 80 page OpenOffice document (Hspell's "niqqudless.odt") > which I wrote, shamefully, assuming Microsoft's TrueType fonts. > > Now, I wanted to switch this document to use only free fonts, such as > the Culmus fonts for Hebrew, Nimbus Sans for English, and the DejaVu > fonts for other languages in this document (Arabic, Turkish, Greek, > Russian, > etc.). The result will not only be freeer - it actually looks better! > > Starting the transformation was easy - I modified the few main paragraph > and character styles that I was using, and in a few minutes, most of the > document was converted to the free fonts. > > But my problem is that the long document *still* uses the non-free fonts in > some places. I can see this if I export the document to PDF, and run > "pdffonts" > on it. I indeed found a bunch of places where this happened (e.g., I > explicitly used a certain font on some word, instead of relying on a > style), > but couldn't find *ALL* of them, so my document still depends on these > non-free fonts. > > I wonder if anybody knows how I can use OpenOffice, or some other tool, > to find *where* in the document a certain font is being used? > > As a last resort, I plan to open the .odt file and read the XML where > this information has to exist - but before I do that, I wonder if > someone knows an easier OpenOffice option, or tool, exists. > > Thanks, > Nadav. > > -- > Nadav Har'El|Sunday, Jan 22 > 2012, > n...@math.technion.ac.il > |- > Phone +972-523-790466, ICQ 13349191 |Earth First! We can strip-mine the > other > http://nadav.harel.org.il |planets later... > > ___ > Linux-il mailing list > Linux-il@cs.huji.ac.il > http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il > -- Constantine Shulyupin http://www.MakeLinux.co.il/ Embedded Linux Systems, Device Drivers, TI DaVinci ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Re: Getting rid of proprietary fonts
On 01/22/2012 04:34 PM, Nadav Har'El wrote: Hi, I have an 80 page OpenOffice document (Hspell's "niqqudless.odt") which I wrote, shamefully, assuming Microsoft's TrueType fonts. Now, I wanted to switch this document to use only free fonts, such as the Culmus fonts for Hebrew, Nimbus Sans for English, and the DejaVu fonts for other languages in this document (Arabic, Turkish, Greek, Russian, etc.). The result will not only be freeer - it actually looks better! Starting the transformation was easy - I modified the few main paragraph and character styles that I was using, and in a few minutes, most of the document was converted to the free fonts. But my problem is that the long document *still* uses the non-free fonts in some places. I can see this if I export the document to PDF, and run "pdffonts" on it. I indeed found a bunch of places where this happened (e.g., I explicitly used a certain font on some word, instead of relying on a style), but couldn't find *ALL* of them, so my document still depends on these non-free fonts. I wonder if anybody knows how I can use OpenOffice, or some other tool, to find *where* in the document a certain font is being used? Hmm... Save as HTML ? # As a last resort, I plan to open the .odt file and read the XML where this information has to exist - but before I do that, I wonder if someone knows an easier OpenOffice option, or tool, exists. Thanks, Nadav. ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
A friend of a collegue looking for embedded Linux introduction course
The title more or less says it all. Who in Israel is offering courses in embedded Linux programming for Linux newbies? From what I understood from my colleague, her friend is working for a company that has developed a prototype for an algorithm in Matlab and they now plan to translate it into a embedded Linux board, and they would like to acquire the necessary knowhow to do the porting themselves. Thanks! Dov ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
Getting rid of proprietary fonts
Hi, I have an 80 page OpenOffice document (Hspell's "niqqudless.odt") which I wrote, shamefully, assuming Microsoft's TrueType fonts. Now, I wanted to switch this document to use only free fonts, such as the Culmus fonts for Hebrew, Nimbus Sans for English, and the DejaVu fonts for other languages in this document (Arabic, Turkish, Greek, Russian, etc.). The result will not only be freeer - it actually looks better! Starting the transformation was easy - I modified the few main paragraph and character styles that I was using, and in a few minutes, most of the document was converted to the free fonts. But my problem is that the long document *still* uses the non-free fonts in some places. I can see this if I export the document to PDF, and run "pdffonts" on it. I indeed found a bunch of places where this happened (e.g., I explicitly used a certain font on some word, instead of relying on a style), but couldn't find *ALL* of them, so my document still depends on these non-free fonts. I wonder if anybody knows how I can use OpenOffice, or some other tool, to find *where* in the document a certain font is being used? As a last resort, I plan to open the .odt file and read the XML where this information has to exist - but before I do that, I wonder if someone knows an easier OpenOffice option, or tool, exists. Thanks, Nadav. -- Nadav Har'El|Sunday, Jan 22 2012, n...@math.technion.ac.il |- Phone +972-523-790466, ICQ 13349191 |Earth First! We can strip-mine the other http://nadav.harel.org.il |planets later... ___ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il