xuanruiqi/rebuild-initramfs-dracut-arch-legacy xuanruiqi/rebuild-initramfs-dracut-arch-legacy

  • This repository has been archived on 28/Apr/2024
  • Stars
    star
    6
  • Rank 2,526,041 (Top 51 %)
  • Language
    Shell
  • License
    MIT License
  • Created over 4 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xuanruiqi/rebuild-initramfs-dracut-arch-legacy
github

xuanruiqi

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A helper script for Arch Linux; rebuild initramfs images using dracut

More Repositories

1

categories

Categories in Coq using SSReflect and packed classes
Coq
7
star
2

commalg

Commutative algebra in Coq/SSReflect
Coq
7
star
3

algebraic-geometry

Algebraic geometry in Coq/SSReflect/MathComp
Coq
7
star
4

lyrics-classification

"Working with Corpora" final project - lyrics-based Japanese music classification.
Python
1
star
5

dtp

Dependently-typed programs I write; mostly in Idris, sometimes in Agda/Coq, occasionally in Haskell
Coq
1
star