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
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
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
You can gunzip odp file and grep xml sources.
On Sun, Jan 22, 2012 at 4:34 PM, Nadav Har'El n...@math.technion.ac.ilwrote:
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
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
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,
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
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
On Sun, Jan 22, 2012 at 4:34 PM, Nadav Har'El n...@math.technion.ac.ilwrote:
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
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 Harapos;El n...@math.technion.ac.il
wrote:
___
Linux-il
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
On 22/01/2012, Amichai Rotman amic...@iglu.org.il 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.
May be stupid question - do you really need VMs?
Different users on the save box will not do?
Valery.
From: Amichai Rotman amic...@iglu.org.il
To: Linux-IL linux-il@cs.huji.ac.il
Sent: Sunday, January 22, 2012 11:19 PM
Subject: Virtual Server - Consult...
On Sun, Jan 22, 2012, Boris shtrasman wrote about Re: Virtual Server -
Consult...:
On 22/01/2012, Amichai Rotman amic...@iglu.org.il 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
I think it depends on what operating system will run inside those VMs.
Another option would be also qemu.
2012/1/22 Amichai Rotman amic...@iglu.org.il
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
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
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
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:
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
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,
20 matches
Mail list logo