Tomorrow_Farewell

joined 7 months ago
[–] [email protected] 1 points 2 months ago

The decimals '0.999...' and '1' refer to the real numbers that are equivalence classes of Cauchy sequences of rational numbers (0.9, 0.99, 0.999,...) and (1, 1, 1,...) with respect to the relation R: (aRb) <=> (lim(a_n-b_n) as n->inf, where a_n and b_n are the nth elements of sequences a and b, respectively).

For a = (1, 1, 1,...) and b = (0.9, 0.99, 0.999,...) we have lim(a_n-b_n) as n->inf = lim(1-sum(9/10^k) for k from 1 to n) as n->inf = lim(1/10^n) as n->inf = 0. That means that (1, 1, 1,...)R(0.9, 0.99, 0.999,...), i.e. that these sequences belong to the same equivalence class of Cauchy sequences of rational numbers with respect to R. In other words, the decimals '0.999...' and '1' refer to the same real number. QED.

[–] [email protected] 1 points 3 months ago (1 children)

It seems like VirtualBox doesn't automatic removed the iso file from the boot options. Try change this configuration at the VirtualBox and select the boot to be at the virtual driver

Not sure what you are suggesting, but it seems that the hard drive is the last active option in the boot order for that VM. I assume you are suggesting to make it the priority boot device?

At the archinstall script you must've set the root password, right?

I did, and I remember it.

At the SDDM login screen, you must press Ctrl+Alt+F3 to enter the TTY3 (a big whole full screen terminal) asking for a login. Type root, press enter and then it will ask for your password

Alright, I did that and run the command.

I still don't know how to switch between the keyboard layouts, and with this installation I opted for the US keyboard layout to be the default one, but have since added one more layout to the list. I couldn't place the keyboard layout widget for some reason, and there is no indication of what layout is chosen on the SDDM screen at all.

Right now, the user is blocked due to too many attempts to enter password, so I will have to wait.

[–] [email protected] 1 points 3 months ago* (last edited 3 months ago) (5 children)

What happened?

I don't know beyond the fact that only Grub got installed and, apparently, nothing else. Upon starting the virtual machine, I was still offered to boot into the Arch installation environment. I have run archinstall again to make an installation without Grub, and am running an installation on a clone of that virtual machine where I have opted into using Grub.

Are you familiar with the syntax of Linux commands?

Depends on what you mean. I am not a frequent CLI user in general.

Currently, I am not sure how I am supposed to login as root.

EDIT: also, Ctrl+Alt+F2 just produces a black screen. Ctrl+Alt+F1 works, but the other problem persists.

EDIT 2: I still do not know how to switch between keyboard layouts in SDDM, and I can't find information regarding that.

[–] [email protected] 1 points 3 months ago* (last edited 3 months ago) (7 children)

I did exactly the same thing yesterday and had the same issue. However I found the solution adding the keyboard layout to the X11 as well, with the command

Where do I input that command?

You must change the "br abnt2" to your keyboard layout, however

To which one? What is the format supposed to be for, for example, English, Putonghua, Norwegian, and Russian layouts?

Also, pay attention because there is a bug at the sddm login screen that doesn't show the correct keyboard layout until you start typing, so don't worry if at the beginning is "US"

The problem is that it is initially not the US English one, while the password is in English.

Apologies if I sound rude. I am currently frustrated regarding this process. Another installation failed for no discernable reason despite no errors occurring as a result of archinstall. (EDIT: Grub did get installed, but not anything else, apparently.)

EDIT: also, I still don't know how to switch keyboard layouts in SDDM.

 

Working inside a VirtualBox virtual machine. Installed Arch Linux using the Archinstall method. Chose KDE as the DE and SDDM as the greeting screen.

Managed to log in once, but after adding a language and rebooting, I didn't seem to be able to change the keyboard layout, making entering the correct password impossible. I have tried looking up how to switch the keyboard layout, but am coming up with nothing. What is the key combination to change the keyboard layout in SDDM?

Setting up a different virtual machine now.

[–] [email protected] 15 points 5 months ago

That's literally just regular liberalism but 'there should be some co-ops!' I.e., it's just liberalism.