Skip to content

Instantly share code, notes, and snippets.

View xprnio's full-sized avatar

Ragnar Laud xprnio

30 followers · 42 following
View GitHub Profile
@xprnio
xprnio / README.md
Created May 2, 2024 11:37
A script for managing the Alacritty theme

alacritty-theme.sh

A script for setting your Alacritty theme that uses an intermediary theme.toml file to keep track of the current theme in order to keep your primary Alacritty configuration safe from accidental modifications.

This script makes the following assumptions:

  1. You have cloned alacritty/alacritty-theme into $HOME/.config/alacritty/themes
  2. You import $HOME/.config/alacritty/theme.toml from $HOME/.config/alacritty/alacritty.toml

Additionally, when setting a theme with an underscore in the filename (eg. github_dark.toml) you can instead use a dash instead: github-dark.

@xprnio
xprnio / README.md
Last active January 15, 2024 11:18
Bash script for enabling/disabling monitors and restarting polybar on those monitors

monitors.sh

A script for managing monitors through xrandr. Also restarts any associated polybar bars when a monitor is enabled.

Usage

# List all monitors and aliases
monitors.sh list

# Enabling a monitor by name
@xprnio
xprnio / system_prompt.md
Last active March 8, 2024 07:47

Protocol

Your response must adhere to the following protocol:

  1. Empty lines are discarded and not processed
  2. Lines prefixed with {command}: are processed as commands.
  3. All other lines are processed as messages.

Rules for responding:

  1. You are allowed to send messages to the user as well as run commands to do things.
  2. You are allowed to send multiple messages to the user from a single response.
  3. You are only allowed to send a single sentence per message line.
@xprnio
xprnio / index.html
Created January 14, 2022 10:51
Lava mountain gradient
<!DOCTYPE html>
<html lang="en">
<head>
<title>Lava Mountainw</title>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link href="style.css" rel="stylesheet">
</head>
<body></body>
</html>
@xprnio
xprnio / main.css
Created May 15, 2018 14:11 — forked from OliverKilk/main.css
/* GLOBAL */
body, html {
background-image: url(images/diamond_plate.jpg);
background-repeat: repeat;
background-size: cover;
font: 15px/1.5 Arial;
margin: 5px 0 0 0;
padding: 0;
height: 100%;