On Sat, May 16, 2009 at 02:43:11PM +0300, Constantine Shulyupin wrote:
> Hi friends,
>
> Th Linux Foundation started new site on linux.com domain.
>
> I opened Linux Israel group:
>
> http://www.linux.com/community/groups/viewgroup/605-Linux+Israel
>
> Join!
>
> --
> Constantine Shulyupin
> Em
On Monday, May 17th at 18:30, Haifux will gather to hear Guy Keren's talk
gdb in Greater Depth
(which is part II of Guy's double lecture)
Abstract
gdb is one of the more powerful tools that you have as a programmer in
the UNIX environment. The previous talk was an introduction to gdb and
h
Hi!
Who are you replying to? Are you replying to my message from here:
http://www.mail-archive.com/linux-il@cs.huji.ac.il/msg55344.html
If so (or if not), why didn't you answer in the same thread and why didn't you
quote the message?
On Sunday 17 May 2009 14:49:48 shlomo bauer wrote:
> Hi,
>
>
Hi Tzafrir,
Both dark and light are good for something and bad for something else
for example one shows differences well, while shows missing sections badly
On Sun, May 17, 2009 at 2:02 PM, Tzafrir Cohen wrote:
> On Sun, May 17, 2009 at 11:59:05AM +0300, Noam Rathaus wrote:
>> Hi,
>>
>> I use
Hi,
I didn't look at your code, but I bet you use a spin lock somehwere.
If you do, you can never expect to have improved preformance behind
three processors.
I can probably help you, but it would be better offline.
Thanks
Shlomo
___
Linux-il mailing
On Sun, May 17, 2009 at 11:59:05AM +0300, Noam Rathaus wrote:
> Hi,
>
> I used to use vimdiff quite a lot, but it has become impossible to use with
> Ubuntu's terminal (gnome I presume) color selection.
>
> The colors used by the gnome terminal simply make it impossible to compare
> (too dark,
I have a derby database that I can connect to through ij, but when I use the
same login credentials and class paths through OOBase I get the error message:
Connection authorization failure occurred. Reason: userid invalid. However the
credentials are correct. How can I debug oobase to figure ou
Hi,
I used to use vimdiff quite a lot, but it has become impossible to use with
Ubuntu's terminal (gnome I presume) color selection.
The colors used by the gnome terminal simply make it impossible to compare
(too dark, or too light). I tried several profile colors offered, but it aint
doing it
