@Patrick They're working on that too now

Wow, Gilles has just quoted my question/answer in one of his answers. Feeling really proud :)

@Ramesh: Did you check quote !?

@Gnouc There seems no significant change.

@Braiam Me too. Well, a Pony.

@FaheemMitha I've got one for sale. Or, well, a friend of mine does.

A really sweet and charming little pony who goes by the name "the rodeo pony".

@JennyD Hey, long time no see. What's happening?

@FaheemMitha Not much... Kind of busy at the new job, so much less time to chat

@JennyD Oh, you have a new job? Still sysadmin?

@FaheemMitha Yes. I don't remember when I was here last, but I went from working at a bank to being a consultant in a smallish company a while back. Right now I'm hired out to a government agency to help manage their linux and solaris servers.

@JennyD Oh. I hope they're paying you properly, at any rate.

@FaheemMitha I got an about 25 % increase in pay, plus I get to buy computer stuff for pre-tax money, so I'm definitely better off now :-)

@JennyD How does a Swedish pony cost, in US dollars, say?

@JennyD Ooh, sounds good.

@FaheemMitha Depends on the pony :-) I'd say that this particular pony could be cheap to a good home... say, around USD 5000 or so

@JennyD I see.

She really is a sweet one but she needs a skilled rider, and they're hard to come by for a small pony... she shouldn't have a rider weighing more than than about 50 kgs and not taller than at most 155-160 cm

and that's at the top of the range for her

@JennyD I see. Possibly a child, then?

@FaheemMitha That breed of pony will usually be for children up to 10-12 years or so. The girl who rides her now is 13 and she's really too tall and heavy for the horse... We used to have an adult woman who is very short and slim, and they did very well together - but I wouldn't sell that pony to someone wanting the first horse for their child.

It's this type of horse: en.wikipedia.org/wiki/Gotland_pony

@JennyD Ok. So an experienced child rider, then.

@JennyD How long does this breed of pony live?

@FaheemMitha Preferably, yes... one who can handle her when she gets frisky and who doesn't get scared when they get thrown off occasionally, because that will happen... But the horse is really a charmer and with the right rider she'd do well in both dressage and show jumping

@FaheemMitha We've got another one that's 32 now I think.

@JennyD Quite long, then.

@JennyD dressage?

This is like competitive events?

@FaheemMitha Yes, the smaller breeds often live longer than the bigger ones, like with dogs

@JennyD I see.

@FaheemMitha Yes, it's basically horse gymnastics - they need to show different types of movements, in walk, trot and canter, and they get judged based on how well they move.

@JennyD Oh. So these are common events? And can one make any money on them? Or is it just for fun?

@FaheemMitha In order to make money you'd have to be very good indeed. Which I'm definitely not. But many riders compete at lower levels, mainly for fun - also it's a good idea to get someone else than your usual trainer to see how you ride and give you comments on it.

@JennyD Ok. Well, as long as it is for fun.

Anyway, nice to see you back here again.

but it's an olympic event, and the ones competing at that level do make enough to live on. not as much as soccer or hockey stars, but probably as much as e.g. gymnasts

@FaheemMitha Thanks!

I'll try to stick around a little :-)

@JennyD Hmm. Horses in an Olympics? Is that new?

@FaheemMitha Not at all, it's been in every one since 1912... en.wikipedia.org/wiki/Equestrian_at_the_Summer_Olympics

there's also cross country and jumping events, I think

@JennyD oh

but it's a sport that's fairly boring unless you actually know enough to tell the difference between different rides, otherwise it just looks like horse after horse doing the exact same thing

at least with jumping anyone can follow along, it's not hard to tell if the horse kicks down a bar :-)

Right. Yes, I don't know anything about horses. Ditto about sports in general, I think. If I attended the Olympics, I'd probably fall asleep out of sheer boredom.

I've never been much of a sports fan either, except that I used to look at football when I was a teenager. But that was mainly because there were some really cute players :-)

I do like horses, though. But not as much as much as my mother, who has kind of a thing about them.

I told her she should have got a pony as a child. Clearly, her parents weren't doing their job.

@FaheemMitha I never had a horse as a child, but I spent most of my pocket money on riding lessons... but now I have my own horse. We do some dressage training because it's good for us both, but I'm mainly interested in going on long rides. I love being out in the woods on horseback.

@JennyD That does sound like fun. Must be a change from the computer stuff. As long as it is not too cold.

@FaheemMitha That's part of why I like it, you really can't think of work while you're riding... as for cold, one just has to dress properly for it. And it helps to be sitting on 600 kgs of warm horse :-)

in winter I have this big woolly blanket attached around my waist, that covers my legs and keeps the heat from the horse trapped there. It helps a lot.

@JennyD Right.

So you ride in winter too? Well, I guess the horse needs his exercise. He can't do indoor yoga, after all.

/me tries to imagine a horse doing yoga.

@FaheemMitha We've got an indoor arena, but it's very small. But on winter weekends I enjoy getting out - can't do it during work weeks since I don't get there until it's dark and it's much less fun to ride out when you can't see a thing.

Also, we do play fetch with a ball sometimes, too :-)

@JennyD sorry, a sudden thunderstorm came up, and my net access went out. Why the narrow focus on the video?

@FaheemMitha because I took it myself with my phone while I was doing the training

Home time.

@JennyD I see,

@JennyD Take care.

This is a really trivial question, with probably a really trivial answer.

I often know there is a file with a specific name inside a directory, but i don't know the path. see i have foo.txt somewhere inside a directory. what command will return to me its path?

I guess i could use some command line find thingy, but is there something simple i could easily remember?

@FaheemMitha - readlink -f <file>

$ ls -l | grep slmingol
-rw-r----- 1 slmingol mail   5377602 Oct 28  2008 slmingol
$ readlink -f slmingol
/var/spool/mail/slmingol

find . -name foo.txt

that'll only show the path relative to the dot, no?

@slm Yes. How does the readlink one work? Does it do anything different than ls slmingol?

Shows the full path of the file on disk: /var/spool/mail/slmingol

I thought that's what he was asking for?

I think he was saying "I know the file is named foo and it's in the /a/b tree somewhere, but I don't know that the full path is /a/b/c/d/e/foo". So it'd be find

@slm Ah, for the full path I see. Nice. But I interpreted it as Michael did.

I'd do ls /a/b/**/foo, but I think that's a zsh thing

yeah zsh

@FaheemMitha - did either of what we say help?

There's also locate foo.txt too but that assumes the file's been on disk for at least 24 hrs. and has been indexed.

and your distro provides mlocate facilities

Oops, sorry. i had wandered off. Thanks, guys.

Bash too with globstar though.

@FaheemMitha - so now you have 3 answers to your Q. I'm assuming terdon/michael were correct with the interpretation

@terdon - oh yeah, I never remember to make use of those.

@slm I'm trying them. Is this worth posting as a question?

Neither do I really, I mostly use it to answer questions :)

@MichaelMrozek Correct

I wouldn't bother, we have lots of Q&A on find

@slm readlink -f doesn't seem to work if the file is not at top level.

@FaheemMitha - that's correct, I mis-understood your Q

I thought you wanted to go the other way where you had a file but didn't know it's path

@terdon That works, and is simple enough I might actually remember it.

you're in a directory looking for file X

@slm right

@slm Sorry if I was unclear.

I'm 1/2 reading things today, busy

@slm locate will pick up files from any directory it has been configured to look, plus it doesn't search everywhere by default. i don't think.

right

@slm still busy with the new job? how's it going?

it's generally wired to scan the whole disk on distros that I've used in the past

yeah, good, just busy working on projects

works fun

find . -name foo.txt should do me. i really should try to use find.

which always makes it easier

thanks @terdon

You're welcome.

@slm that's good.

you can restrict it to file names, find . -type f -name foot.txt

@slm by default that matches directory names too?

w/o the restriction yes

@slm ok

ok, here's another one. we're building a program which grabs a lot of memory.

this is C++. does anyone know a good utility to measure ram usage for compiling C++ object files? valgrind was suggested, but it makes a lot of noise by default.

this has been asked elsewhere, of course.

FYI SE is rolling out some new badges.

why is there no edit button on tag wiki page?

I was trying to fix the spelling in this tag wiki. But unfortunately there is no edit option.

@Ramesh you mean when reviewing a tag wiki? You only get that if you can edit it directly, i.e. at 20k rep. There's no facility to stack suggested edits.

@Gilles ok. But still I could see I can approve/reject.

@Ramesh yes, because approve/reject is a vote. It takes two votes to approve/reject.

edit isn't a vote, it's an immediate action.

Why do we have a lenovo tag anyway?

Company names are hardly ever good tags.

What does a question about Thinkpad laptops have in common with a question about… whatever other hardware Lenovo produces?

@Gilles I agree. Probably we are better off to rephrase it to something more generic.