Ethan Girouard eta357
0 Followers · 4 Following
Repositories
3
 Projects Packages Public Activity Starred Repositories
13
eta357 created pull request LibreTunes/LibreTunes#238 2025-09-27 23:52:02 +00:00
Use cargo-leptos from nixpkgs
0ae50784ea Use cargo-leptos from nixpkgs
eta357 commented on issue LibreTunes/LibreTunes#237 2025-09-27 23:28:56 +00:00
Remove cargo-leptos manual installation in flake

!start

eta357 opened issue LibreTunes/LibreTunes#237 2025-09-27 23:28:48 +00:00
Remove cargo-leptos manual installation in flake
eta357 pushed to 236-song-and-songlist-refactor at LibreTunes/LibreTunes 2025-09-27 02:49:03 +00:00
b5b5c1053b Add typed_builder
eta357 commented on issue LibreTunes/LibreTunes#236 2025-09-27 02:48:09 +00:00
Song and SongList refactor

!start

eta357 opened issue LibreTunes/LibreTunes#236 2025-09-27 02:48:04 +00:00
Song and SongList refactor
eta357 pushed to main at nix/neovim 2025-09-26 01:33:01 +00:00
6cd9476375 Allow navigation to previous tab from terminal
eta357 pushed to main at nix/neovim 2025-09-26 01:30:57 +00:00
9d81be96db Change \t to enter terminal
eta357 pushed to main at nix/neovim 2025-09-20 00:44:21 +00:00
2b3c07474a Don't start coq by default
eta357 pushed to main at nix/neovim 2025-09-20 00:43:52 +00:00
1781b12fe0 Use unstable rust-analyzer
b5e6c9a784 Ignore some common not interesting files in telescope
Compare 2 commits »
eta357 pushed to main at nix/neovim 2025-09-19 18:18:15 +00:00
0056a90ec1 Stop highlighting searches when pressing escape
bbfe9a3f84 Fix typing "#" moving to start of line
Compare 2 commits »
eta357 pushed to main at nix/neovim 2025-09-16 20:49:02 +00:00
8a549152da Add gitsigns
eta357 pushed to main at LibreTunes/LibreTunes 2025-09-12 15:07:25 +00:00
cf1e976cd2 Merge pull request 'Download cargo-leptos from GitHub releases' (#235) from 234-fix-cargoleptos-build-hang-inside-docker into main
d9d73211b4 Download cargo-leptos from GitHub releases
Compare 2 commits »
eta357 deleted branch 234-fix-cargoleptos-build-hang-inside-docker from LibreTunes/LibreTunes 2025-09-12 15:07:25 +00:00
eta357 merged pull request LibreTunes/LibreTunes#235 2025-09-12 15:07:23 +00:00
Download cargo-leptos from GitHub releases
eta357 closed issue LibreTunes/LibreTunes#234 2025-09-12 15:07:23 +00:00
Fix cargo-leptos build hang inside Docker image build
eta357 created pull request LibreTunes/LibreTunes#235 2025-09-12 14:58:31 +00:00
Download cargo-leptos from GitHub releases
d9d73211b4 Download cargo-leptos from GitHub releases
eta357 commented on issue LibreTunes/LibreTunes#234 2025-09-12 14:23:16 +00:00
Fix cargo-leptos build hang inside Docker image build

!start