Does study of logic make use of computability/recusion theory?

Does study of computability/recursion theory make use of logic?

@Tim Yes, of course

@Tim Not inherently

Or with perhaps a more proper title: "How do I loop the output of some command without splitting on spaces"

Shouldn't we already have an answer to that somewhere we can just link to? So there wouldn't be need write a new one each time? :)

And no, I don't mean "Why does my shell script barf on whitespace", I know it contains all the answers to all the important questions, it's just too all-encompassing to easily search for

@ilkkachu I don't know... There are always nuances. If the command outptuts lines, then the answer may be "use while + read + piping instead of for+ command substitution". If it outputs file names, then it's probably "use find instead of for + ...", or a shell loop over a glob. Then we have all the shell-dependent answers...

I'm afraid we'll always end up with something as lengthy as the "Why does my shell choke on whitespace" Q/A.

Maybe split it then? have one canonical post for "use find -exec, silly" and another for "here's how to protect from split+glob"?

hey so google and US navy are synonymous in terms of geolocational data is concerned yes? On the same subject why can't I use Earth on Samsung TVs?

@AdamL I can't speak for other people, but I don't understand either question.

More context and elaboration would probably be helpful.

Hi does anyone know if there's an API to leverage pkgs.org ??

based only on pkgs.org/about, I'd say "HTTP" :)

though apparently they've had some help from on-high (pkgs.org/about thanks Jesus Christ for their support), so maybe there's a way

Hi thanks for getting back to me :), who/what is on-high?

sorry, a phrase for "the heavens"

@JeffSchaller What, really? Where, I don't see it.

@terdon sorry, stale copy/paste error. It's at pkgs.org/contributors

> Please note that I am using ZSH bash

!!

not only is bash an editor, it's also the zsh shell!

the curse of ubiquity

@JeffSchaller Maybe it's a different Jesus Christ. This one is apparently a software developer.

Though I suppose there is no law against carpenters doing software development.

There might be one if the carpenter in question has been dead for more than two millennia.

Why do you think they called it C++

though apparently Jesus recommends Python and jQuery

@terdon Thanks for your edit to my answer! Honestly, I was puzzled enough that I couldn't really parse the request from the OP. :-)

@fra-san Ah, good. I was afraid you might have felt the edit was excessive.

What's weird though is that it doesn't seem to work well for me. I tested by using xdotool mousemove $X $Y with the various values and they were all off. I am thinking that perhaps xdotool doesn't take window decorations into account?

But even so, the positioning wasn't perfect.

I'm hoping it's some oddity of my system.

@terdon I was just going to ask you how you tested it. On my system (KDE), the numbers refer to the inner portion of windows. I.e. frame and title bar are left out.

@terdon Listening to the voice of the help center, it was. But I see it the other way round: now I owe you a green tick. How does compensation work on SE? :-)

@fra-san Hmm. They're still a little off for me. But...

@fra-san pffft, no need at all! You did the hard bit anyway!

I just ... happened to notice that terdon is only one upvote away from a bronze bioinformatics badge. cough

For bioinformatics, read text munging.

@JeffSchaller lol :)

@terdon Actually, they seem to be a bit off here, too. Roughly by one pixel. But those coordinates are consistent with the output of xwininfo and xprop. I'm afraid the DE's compositor/window manager would be the only program that knows for sure.

fair enough