"No address associated with hostname" but minecraft client can enter it?

I apologize if this site is not for this kind of questions, but this is really puzzling and I have no idea what is happening.

I have 2 minecraft clients, tlauncher and Shiginima launcher. There is a server that I usually play, and I can enter it normally with Shiginima. However if I try to connect with tlauncher it says: Unknown host and doesn't connect. I can connect to other servers with tlauncher, just not that one. Furthermore I can ping those others that I can connect to. However if I try to ping the one that doesn't work, it says: ping: <host_name_of_server>: No address associated with hostname.

I have no idea what is happening, and can't find anything about how to solve it or why it happens on the internet..

(I am using linux btw)

Know someone who can answer? Share a link to this question via email, Twitter, or Facebook.