chore: remove unused toolboxes

Signed-off-by: Matej Focko <me@mfocko.xyz>
This commit is contained in:
Matej Focko 2023-08-29 11:15:07 +02:00
parent 2d4cc595e8
commit e47ac5b8f6
Signed by: mfocko
GPG key ID: 7C47D46246790496
3 changed files with 0 additions and 70 deletions

View file

@ -1,24 +0,0 @@
# Maintaining toolboxes
## How to keep Fedora toolbox up-to-date
1. Pull latest toolbox
\$ podman pull fedora-toolbox:35
2. Run the container
\$ podman run -ti fedora-toolbox:35 /bin/bash
3. Copy your current repos
\$ podman cp /etc/yum.repos.d/ container ID:/etc/
4. Run upgrade & install common packages inside the container
(container)$ dnf upgrade
(container)$ dnf install -y zsh tmux neovim ansible make
5. Commit the image
\$ podman commit container ID fedora-toolbox:35

View file

@ -1,34 +0,0 @@
---
- name: Prepare C/C++ container
hosts: all
become: yes
become_method: sudo
tasks:
- name: Install compilers
dnf:
name:
- gcc
- clang
state: present
- name: Install linters and tools
dnf:
name:
- clang-tools-extra
- cppcheck
state: present
- name: Install build systems
dnf:
name:
- cmake
- make
state: present
- name: Install Karel
block:
- name: Enable Copr repository
shell: dnf copr enable -y mfocko/karel
- name: Install Karel library
dnf:
name: libkarel
state: present
tags: karel

View file

@ -1,12 +0,0 @@
---
- name: Prepare haskell container
hosts: all
become: yes
become_method: sudo
tasks:
- name: Install ghci
dnf:
name:
- ghc
- hlint
state: present