Home / user-94982

Cuauhtli's questions

Martin Hope
Cuauhtli
Asked: 2022-08-18 18:46:32 +0800 CST
  • 0

How can I update (but not add, or append ), items from one list to another in Scala?

It finds me programming in Scala, and I try to update a ListBuffer with the values ​​I have from another list:

val allThemes: ListBuffer[MyType] = ListBuffer[MyType]()

val pageSize = 500
var pageToken = ""

do {
  val response: Response = ...
  val dataThemes: List[MyType] = response.items  // Estos son los nuevos valores
  pageToken = response.next_page_token

  // Aquí tratataba según de actualizar una lista con 
  // nuevos valores
  if (dataThemes.nonEmpty)
    allThemes += dataThemes  // Aquí me da un error de tipo

} while (...)

allThemes.toList

But it sends me a type error because it turns out that it doesn't do an update as I thought, but an "append", and therefore the types are different.

type mismatch; found ListBuffer[List[MyType]] Required: ListBuffer[MyType]

I know I can iterate over those values, and then do a +=, but I don't hear a "fancy", friendly option.

scala
Martin Hope
Cuauhtli
Asked: 2022-07-12 21:51:23 +0800 CST
  • 1

I know some ways to change the address of nameservers in DNS.

One is using resolvconf:

$ sudo apt install resolvconf
$ sudo systemctl start resolvconf.service

Then add some lines to the file/etc/resolvconf/resolv.conf.d/head

And then restart the service:

$ sudo systemctl restart resolvconf.service
$ sudo systemctl restart systemd-resolved.service

Problem : The problem with this approach is that the file head, where the DNS address is added, indicates that it should not be edited.

The other is installing dnsmasq:

$ sudo apt-get install dnsmasq

Editing the file /etc/dnsmasq.conf:

...
server=8.8.8.8
server=8.8.4.4
...

And restarting the services:

$ sudo service dnsmasq restart 
$ sudo service network-manager restart

Problem : When I run cat /etc/resolv.conf, I can't find the addresses I added. Also, when I do a dig google.com, in the part of SERVER, I get the value of 127.0.0.1, and not the addresses I added, but not the original ones either.

On the other hand, I know that I can't edit the file /etc/resolv.conf , since it is overwritten by other services.

I would like to know if there is a "cleaner" way to change DNS addresses.

"Clean", in the sense of seeing the results of the reflected DNS server path, but without having to edit files in which it is indicated that editing is not recommended.

linux
Martin Hope
Cuauhtli
Asked: 2020-07-26 14:59:52 +0800 CST
  • 0

Recently, at least in Mexico, there have been failures in the network of the main telecommunications company. This failure prevents its users from accessing the Internet or only allows access to certain sites (you can only access Google's, which is curious). But I realized that I can use Spotify or access servers through ssh.

How can I have access to the other sites that are denied to me?

linux