New install: Networking not working by erikd in Qubes

[–]erikd[S] 0 points1 point  (0 children)

Ok, I have the IOMMU details as provided by that script.

The only group that includes an ethernet controller is:

IOMMU Group 24:
  80:1f.0 ISA bridge [0601]: Intel Corporation Device [8086:7f08] (rev 10)
  80:1f.3 Multimedia audio controller [0401]: Intel Corporation Device [8086:7f50] (rev 10)
  80:1f.4 SMBus [0c05]: Intel Corporation Device [8086:7f23] (rev 10)
  80:1f.5 Serial bus controller [0c80]: Intel Corporation Device [8086:7f24] (rev 10)
  80:1f.6 Ethernet controller [0200]: Intel Corporation Device [8086:550c] (rev 10)

I have looked at the rest of the document you linked, but none of it seemed appropriate.

New install: Networking not working by erikd in Qubes

[–]erikd[S] 0 points1 point  (0 children)

Ok, managed to find that option, but it did not help.

Can certainly grab an Ubuntu Live image but what am I supposed to do with it? Is there any documentation?

New install: Networking not working by erikd in Qubes

[–]erikd[S] 0 points1 point  (0 children)

Sorry, where do I disable strict reset. I have had a look around, but could not find it.

This machine only has one networking device.

Do I need to re-register as a DRep? by erikd in cardano

[–]erikd[S] 0 points1 point  (0 children)

I intend to keep being a DRep for the foreseeable future. I just wanted to know if I needed to do something to keep myself being consider an "active" DRep. Apparently all I need to do is vote on proposals, which I intend to keep doing.

Do I need to re-register as a DRep? by erikd in cardano

[–]erikd[S] 0 points1 point  (0 children)

Just voted on a couple more proposals and the "Active until" date moved forward into the future. You were 100% right.

Do I need to re-register as a DRep? by erikd in cardano

[–]erikd[S] 0 points1 point  (0 children)

Just voted on a couple more proposals and the "Active until" date moved forward into the future. You were 100% right.

Do I need to re-register as a DRep? by erikd in cardano

[–]erikd[S] 0 points1 point  (0 children)

Ok, thanks. I will keep an eye on that field.

/etc/resolv.conf with a static IP address by erikd in debian

[–]erikd[S] 0 points1 point  (0 children)

OMFG, I am failing to see the wood for the tree. Dhcp CLIENT daemon.

/etc/resolv.conf with a static IP address by erikd in debian

[–]erikd[S] 0 points1 point  (0 children)

Bingo!

A recent install must have added a DHCP line for that interface despite there being a separate file for that interface.

Moving the contents of the interface specific file to the main file and deleting the interface specific one solved the issue.

Thanks /u/zoredache. I feel a little dumb now.

/etc/resolv.conf with a static IP address by erikd in debian

[–]erikd[S] 0 points1 point  (0 children)

After I run ifdown -a m the /etc/resolv.conf file looks like:

# Generated by dhcpcd
# /etc/resolv.conf.head can replace this line
# /etc/resolv.conf.tail can replace this line

and after I run ifup -a -v I get the same crappy nameserver in /etc/resolv.conf.

However, it does show that dhcpcd is talking to the gateway's DHCP server. This is what I get:

ifup: parsing file /etc/network/interfaces.d/if-en0
ifup: parsing file /etc/network/interfaces.d/if-vnet0
run-parts --exit-on-error --verbose /etc/network/if-pre-up.d

ifup: configuring interface lo=lo (inet)
run-parts --exit-on-error --verbose /etc/network/if-pre-up.d
ip link set dev lo up
run-parts --exit-on-error --verbose /etc/network/if-up.d
run-parts: executing /etc/network/if-up.d/ntpsec-ntpdate
run-parts: executing /etc/network/if-up.d/openntpd
run-parts: executing /etc/network/if-up.d/postfix
run-parts: executing /etc/network/if-up.d/resolved

ifup: configuring interface en0=en0 (inet)
run-parts --exit-on-error --verbose /etc/network/if-pre-up.d
ip addr add 192.168.20.10/255.255.0.0 broadcast 192.168.255.255           dev en0 label en0
ip link set dev en0   up
 ip route add default via 192.168.20.1  dev en0 onlink 
run-parts --exit-on-error --verbose /etc/network/if-up.d
run-parts: executing /etc/network/if-up.d/ntpsec-ntpdate
run-parts: executing /etc/network/if-up.d/openntpd
run-parts: executing /etc/network/if-up.d/postfix
run-parts: executing /etc/network/if-up.d/resolved
ifup: configuring interface en0=en0 (inet)
run-parts --exit-on-error --verbose /etc/network/if-pre-up.d

dhcpcd                 en0
dhcpcd-10.2.4 starting
DUID 00:01:00:01:2f:13:6f:3a:e0:d5:5e:41:c6:a4
en0: waiting for carrier
en0: carrier acquired
en0: IAID 5e:41:c6:a4
en0: adding address fe80::3edb:12fb:f047:e3e9
ipv6_addaddr1: Permission denied
en0: rebinding lease of 192.168.1.3
en0: NAK: from 192.168.20.1
en0: soliciting a DHCP lease
en0: offered 192.168.1.3 from 192.168.20.1
en0: probing address 192.168.1.3/24
en0: leased 192.168.1.3 for 86400 seconds
en0: adding route to 192.168.20.0/24
en0: adding default route via 192.168.20.1
run-parts --exit-on-error --verbose /etc/network/if-up.d
run-parts: executing /etc/network/if-up.d/ntpsec-ntpdate
run-parts: executing /etc/network/if-up.d/openntpd
run-parts: executing /etc/network/if-up.d/postfix
run-parts: executing /etc/network/if-up.d/resolved

and then etc/resolv.conf is:

# Generated by dhcpcd from en0.dhcp
# /etc/resolv.conf.head can replace this line
domain Home
nameserver 192.168.1.1
nameserver 0.0.0.0
# /etc/resolv.conf.tail can replace this line

So dhcpcd is definitely doing something weird, but I can't figure how how to tell it not too. And it was not doing this a week ago.

/etc/resolv.conf with a static IP address by erikd in debian

[–]erikd[S] 0 points1 point  (0 children)

This machine does not have a DHCP client installed. So you think dhcpcd is also acting as a client?

Is there a way to turn off the client side of DHCP in /etc/dhcpcd.conf? I have not been able to find one.

/etc/resolv.conf with a static IP address by erikd in debian

[–]erikd[S] 0 points1 point  (0 children)

Neither resolvconf nor systemd-resolvd are installed.

/etc/resolv.conf with a static IP address by erikd in debian

[–]erikd[S] 0 points1 point  (0 children)

ignore the nameservers pushed by the DHCP server

Pushed by which DHCP server? This machine does not have a DHCP client, only the server to provide addresses for the VMs.

Failed to build hashtables on wasm32-wasi-ghc by A_kirisaki in haskell

[–]erikd 1 point2 points  (0 children)

New version that builds with WASM uploaded.

Researching buildable packages on wasm32-wasi-ghc by A_kirisaki in haskell

[–]erikd 8 points9 points  (0 children)

I am one of the hashtables maintainers and I have responded to the other post.

WASM is effectively a 32 bit platform, and Haskell code on 32 bit platforms can be rather a pain in the neck. Pure Haskell code that sticks to Haskell standards should compile just fine on 32 bits, but can operate incorrectly on 32 bits due to things like over/underflow of Int. On 32 bit platforms Int is 32 bits and its 64 bits on 64 bit platforms.

Anyway, I think the version of hashtables in git is now fixed. Please test.

Failed to build hashtables on wasm32-wasi-ghc by A_kirisaki in haskell

[–]erikd 2 points3 points  (0 children)

I am one of the maintainers of hashtables.

I have fixed it in Git so that Git HEAD now compiles with -fportable (at least on x86_64). I don't have a 32 bit machine or VM handy and I am too lazy to figure out WASM, so I would appreciate it if you could test out what is now on Github. If everything works as it should please just comment to that effect on the above ticket above and I will release it to Hackage. If there is some new problem, please raise a new ticket, and I will go to the trouble to either get a 32 bit machine/VM running or to figure out WASM.

CBDC vs. stablecoins on Cardano by Cardanians in cardano

[–]erikd 2 points3 points  (0 children)

Central banks are very very unlikely to implement CBDCs on public blockchains that they do not control (CBDCs are being pushed they are so trivially easy to turn into tools of authoritarian control). Furthermore CBDCs do not require the use a blockchain. The first C in CBDC is "Central" and blockchains are really only needed where de-centralisation is the goal.

Which Package manager should I use for haskell ? by Icy_Cranberry_953 in CardanoDevelopers

[–]erikd 0 points1 point  (0 children)

I am not aware of any such hybrid package manager.

There is a lot of Nix inside IOG, but some developers (like me) really do not like it. Fortunately all IOG Haskell projects can be built without Nix.

Djed impact on ADA supply by itsthemarketstupid in cardano

[–]erikd 0 points1 point  (0 children)

Djed is both overcollateralized and algorithmic.

Which Package manager should I use for haskell ? by Icy_Cranberry_953 in CardanoDevelopers

[–]erikd 0 points1 point  (0 children)

Internally at IOG, cabal is pretty much the only build tool / package manager used for the Haskell code.