Skip to content

Instantly share code, notes, and snippets.

View zkingboos's full-sized avatar
🛰️
Working from home

José Gabriel zkingboos

🛰️
Working from home
  • Bandeirantes, Brazil
  • 07:30 (UTC -03:00)
View GitHub Profile

Attention: This guide is super outdated and, while it works, this isn't really the best way to setup Proxmox!

Thanks to mmolitor87#7314 for helping me out on /r/admincraft's Discord server! I just rewrote what he said to make a nice and tidy post, to make it easier for me (and other users) to setup Proxmox on a new machine

In this tutorial I will use Windows Bash (via Windows Subsystem for Linux, running Ubuntu), but this tutorial will work with an Linux distro too.

First, go to your dedicated server dashboard and install Proxmox, SoYouStart (and OVH) has an option install Proxmox directly from the dashboard on the Reinstall option.

Choose Proxmox VE 5 (64 bits) (if you have multiple devices that you want to make a pool with, choose the option with ZFS), after that, wait until Proxmox is installed...

@the-sofi-uwu
the-sofi-uwu / pipes.idr
Created December 8, 2021 00:45
Canos UwU
module Pipes
import Control.Monad.Trans
import Data.IORef
-- It's just https://github.com/QuentinDuval/IdrisPipes with one small change.
||| PipeT is a composable data type to describe streams of data that
||| can be generated and can flow upstream and downstream just like
||| javascript generators