Luv2C0d3

# Install Arch Linux on VMWare player 15
#
# References I used:
#
# Install Arch Linux on Dell XPS-13 (https://bit.ly/32P6t61): 
#   Has some of the BTRFS commands, but uses encryption.
# Install.txt file in Arch ISO image.
# 
# Arch Linux Installation and Configuration on UEFI Machines (https://bit.ly/2PtvIY1):
#   This tutorial includes same info as others, but also some network commands if you

Luv2C0d3

# References:

# Install Arch Linux on XPS 13 9370: https://gist.github.com/android10/3b36eb4bbb7e990a414ec4126e7f6b3f
# Install Arch Linux + EFI + Gnome in VMWare player VM: https://gist.github.com/Coffee-fan/05a2f33509998993336ccbbba0d92ce6
# How to install Google Chrome on Arch Linux: https://linuxhint.com/install-google-chrome-on-arch-linux/

# Enter BIOS with F2 and configure:
# - "System Configuration" > "SATA Operation": "AHCI"
# - "Secure Boot" > "Secure Boot Enable": "Disabled"
# - Make sure you disable legacy boot, otherwise EFI vars will not be present below.

Luv2C0d3

# Install Arch Linux on VirtualBox
#
# References I used:
#
# Install Arch Linux on Dell XPS-13 (https://bit.ly/32P6t61): 
#   Has some of the BTRFS commands, but uses encryption.
# Install.txt file in Arch ISO image.
# 
# How to install Gnome on Arch Linux (https://bit.ly/2MRPB96):
# or https://www.wikihow.com/Install-Gnome-on-Arch-Linux#Installing-GNOME_sub

Luv2C0d3

# Note: Still WIP
#
# Create a virtual machine, with 8GB + 4cpus. This such that compilation
# goes fast and you can pass for jobs (-j4) to make.
#

#
# Use any disk to boot. I used the archlinux boot disk because it works
# and it has the genfstab utility which makes it easy to create the mount table.
#

Luv2C0d3

# Create a virtual machine, with 4GB + 4cpus. This such that compilation
# goes fast and you can pass for jobs (-j4) to make.
# Mark the checkbox in System / Motherboard / Enable EFI (special OSes only)
#
# Choose VBoxSvga as the display adapter IF you want guest auto-resize to work.
# This is because the autoresize is triggered by fooling the guest that the
# monitor changed by injecting a new serial#. This can't be done under VMSVGA.
# See this link -> https://wiki.gentoo.org/wiki/VirtualBox#Resizing_doesn.27t_work
# 
# Use any live disk to drive the install. I used the archlinux boot disk because

Luv2C0d3

Objective: Install llvm toolchain + voltron for debugging
Voltron source: https://github.com/snare/voltron.git
For voltron, I needed to install:
* Modify the script a little. -- Will fork and add that change.
* python3, tmux
* Need to fix the library paths for llvm libraries
* python3-lldb site package

Ubuntu 22.04:

Luv2C0d3

sudo zypper in libuuid-devel
sudo zypper in libX11-devel
 
git clone https://github.com/cisco/ChezScheme.git
cd ChezScheme
./configure
make
 
#
# To test without installing

Luv2C0d3

Frow within windows:
Enum things

PS C:\> bcdedit /enum "{fwbootmgr}"

Set order
** DANGER!!! --> Make sure you use Guids ONLY from above command. If you splatter
** {bootmgr} guids into fwbootmgr you MAY CORRUPT YOUR BIOS.

PS C:\>  bcdedit /set "{fwbootmgr}" displayorder ...

Luv2C0d3

# Install racket
# (Windows) Update PATH environment variable to include racket's install
# WSL2 Ubuntu: May need to install libssl-dev before raco package manager works:
# apt install libssl-dev
# In Fedora, instead install openssl-devel
# sudo dnf install openssl-devel
#
# Install beautiful-racket package
raco pkg install beautiful-racket

Luv2C0d3

sudo dnf install ncurses-devel
sudo dnf install libX11-devel
sudo dnf install libuuid-devel


git clone https://github.com/cisco/ChezScheme.git
cd ChezScheme
./configure
make