/dev/chat

« first day (3567 days earlier) ← previous day next day → last day (1376 days later) »

6:55 AM

Hi, When I enter which vim in the ubuntu 18-04 terminal, nothing is shown. When I enter which vi it throws this: /usr/bin/vi. What can be realized from these two outputs?

Michael Homer

7:08 AM

@Dsaki You have some vi installed, but not vim. update-alternatives --display vi

Faheem Mitha

@Dsaki Note that (I think) type is preferred to which.

Constrast, for example, type cd vs which cd.

type --help

Dsaki

7:36 AM

@MichaelHomer Yes, that's right. By entering your cammand I found out that I vim.tiny installed on my machine. Would you please tell me when do we use this command update -alternatives?

@FaheemMitha The type command was more informative than the which command. type vim returned bash: type: vim: not found

Faheem Mitha

See also

368

Q: Why not use "which"? What to use then?

When looking for the path to an executable or checking what would happen if you enter a command name in a Unix shell, there's a plethora of different utilities (which, type, command, whence, where, whereis, whatis, hash, etc). We often hear that which should be avoided. Why? What should we use i...

Read the top answer by Stephane.

More generally, doing a search "type or which site:unix.stackexchange.com" will give more results. Google search (for example) is better than internal SE search.

Disclaimer: not a Google fan, but they still have the world's best search engine.

Dsaki

8:17 AM

@FaheemMitha Yeah, right after I repeated my question I just realized that I could Goole it! Thank you very much!

Kusalananda

@Dsaki Your shell has likely remembered all available commands and you may have just recently (in the same shell session) installed vim. Start a new shell in a new terminal, or use hash -r in bash to clear the remembered commands.

Dsaki

@Kusalananda As I have checked it out, I only have vi installed and not vim. I just installed vim right now.

2 hours later…

Kusalananda

10:03 AM

@Dsaki Exactly. Start a new shell or run hash -r.

Dsaki

10:48 AM

I entered hash with no arguments to see the remembered commands and the output was:
1 /usr/bin/man

Ofear

Hi Guys

I really need someone who knows Unix shell commands (my knowledge is very basic)

I have an html file that is name have date (i.e: report_Wed_Jul_15_2020_115050.html)
I'm trying to send an email with this file,
so I need somehow to add the value to the -a argument
mailx -s "UI AUTOMATION REPORT" ohadad@amdocs.com -a ${ATT}

how can I set ATT with this script?
/users/gen/puppeteer/.reports/ -name '*.html' -type f -printf '%f\n'

terdon

11:33 AM

@Ofear Please post a question on the main site. Show us the html file, and the output you want from it. Also tell us what operating system you are using (linux including the distribution, unix, bsd, macOS) because the tools available will depend on it.

4 hours later…

Faheem Mitha

3:23 PM

Anyone here subscribing to Spotify? I'm considering it. It's not expensive in India. And apparently they have a suggestion feature, which might be useful.

Tim

What do you guys think of Mathematical Logic for Computer Science. by Mordechai Ben-Ari?

terdon

@FaheemMitha I do, I love it!

Faheem Mitha

@terdon How much do you pay a month?

It's slightly less than USD 2 here.

Tim

3:38 PM

Does youtube not have the songs that you like to listen?

terdon

@FaheemMitha 9 pounds in the UK, 9€ when I was in the EU if I remember correctly.

But I pay the expensive tier, with no ads.

Tim

I am also wondering: What is the relation betw computability ( or recursion theory) and logic? Why some logic books have that part, despite the two seem unrelated:
I don't see logic is used in study of recursion or computability
I don't see recursion or computability is used in study of logic

terdon

@Tim Very often not, no. And I don't want a video anyway. And spotify has really good systems for playing similar songs (artist radio), playlists, cross-device compatibility etc.

Faheem Mitha

@Tim It's not exactly the same. Plus video uses a lot more bandwidth than audio. Or it should.

@terdon Isn't there just one pay tier? At least for an individual?

@terdon Do you use Amazon Music?

@Tim Logic isn't very useful for programming. If that is your aim.

It helps to know AND OR stuff. At a high school level.

Tim

Have you taken a course in logic?

Which books in logic did you read?

Faheem Mitha

3:42 PM

@Tim Me? No, never. I've also never taken a course in programming. Or anything computer related, actually.

terdon

@FaheemMitha Oh maybe, I don't really know. And no, I don't use (or even know about) Amazon music.

Faheem Mitha

Most of the things you're studying are basically irrelevant to programming, which most of the time involves really basic concepts.

Tim

@FaheemMitha So you have a college math degree, but not studied logic?

A computer science education requires study of logic, which I think is an advantage over many other disciplines

Faheem Mitha

@Tim I have more than a collega math degree. I took numerous math courses over many years. But I really wouldn't recommend that sort of thing unless you're really really interested in math. Or have a clear purpose for doing so other than being interested in math per se.

But no, no logic. It's a fairly fringe area even within mathematics.

I hear it has important applications in certain areas of pure maths, but that's at quite a high level.

Tim

So what courses did you take?

Faheem Mitha

3:46 PM

There is a lot of cross-pollination between different areas of pure math, but most of it occurs at quite a high level.

@Tim Many, many things.

@terdon Ok. Thank you for the feedback. I think Anthony also said he uses Spotify.

He's not been around much, though. He typed one sentence some days ago.

I said hi, but he didn't say hi back.

@Tim Why do you want to study computer science?

Tim

because I am interested in logic

Faheem Mitha

If you want it to do programming, it's not necessary, and only marginally useful. At least for basic stuff. And you can always learn more specialised stuff as necessary.

Tim

Since most people here have studied and are working in computer science field, I think they have the advantage of knowing logic by heart

Faheem Mitha

@Tim You don't need to learn computer science to study logic. They are two separate things. And both are quite broad areas.

@Tim I don't follow that. You should ask yourself what your aims are.

Tim

become thinking in terms of logic

Faheem Mitha

3:58 PM

@Tim What?

@Tim And I doubt most people here have a computer science background. I suspect few do. People come to programming from diverse fields.

4 hours later…