Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / stepchowfun/dotfiles issues and pull requests

#127 - Assume NVM is installed via Homebrew

Pull Request - State: closed - Opened by stepchowfun 5 months ago

#126 - Load the OPAM env rather than explicitly appending to `PATH`

Pull Request - State: closed - Opened by stepchowfun 5 months ago

#125 - Replace the Coq path with the path to OPAM binaries

Pull Request - State: closed - Opened by stepchowfun 5 months ago

#124 - Update the path to Coq

Pull Request - State: closed - Opened by stepchowfun 5 months ago

#122 - Update GitHub Actions to use non-deprecated versions

Pull Request - State: closed - Opened by stepchowfun 6 months ago

#121 - Add a Tagref reference to the code of conduct file

Pull Request - State: closed - Opened by stepchowfun 7 months ago

#120 - Update the Ubuntu version in the toastfile to 24.04 LTS

Pull Request - State: closed - Opened by stepchowfun 7 months ago

#119 - Use `set -x` for shell scripts

Pull Request - State: closed - Opened by stepchowfun 9 months ago

#118 - Document a confusing setting in the Alacritty config

Pull Request - State: closed - Opened by stepchowfun 9 months ago

#117 - Migrate `alacritty.yml` to `alacritty.toml`

Pull Request - State: closed - Opened by stepchowfun 9 months ago

#116 - Add a `gra` shell function

Pull Request - State: closed - Opened by stepchowfun 9 months ago

#115 - Update the Ubuntu version in the CI configuration to 22.04 LTS

Pull Request - State: closed - Opened by stepchowfun 9 months ago

#114 - Enable reading from the remote Toast cache for pull requests

Pull Request - State: closed - Opened by stepchowfun 10 months ago

#112 - Fix a bug in the CI workflow

Pull Request - State: closed - Opened by stepchowfun 11 months ago

#111 - Add a helpful wrapper around the `rg` command

Pull Request - State: closed - Opened by stepchowfun 11 months ago

#110 - Fix some indentation in the CI configuration

Pull Request - State: closed - Opened by stepchowfun 11 months ago

#108 - Update the copyright year

Pull Request - State: closed - Opened by stepchowfun 11 months ago

#107 - Fix the nvim colorscheme configuration

Pull Request - State: closed - Opened by stepchowfun 11 months ago

#106 - Add VS Code settings

Pull Request - State: closed - Opened by stepchowfun 11 months ago

#105 - Update the path to Coq to assume version 8.17.1

Pull Request - State: closed - Opened by stepchowfun 11 months ago

#104 - Update the installation command

Pull Request - State: closed - Opened by stepchowfun 12 months ago

#103 - Make the `replace` command a bit more robust

Pull Request - State: closed - Opened by stepchowfun about 1 year ago

#102 - Update an outdated comment

Pull Request - State: closed - Opened by stepchowfun about 1 year ago

#101 - Make `replace` work in hidden files and directories except `.git/`

Pull Request - State: closed - Opened by stepchowfun about 1 year ago

#100 - Switch the Docker login GitHub action

Pull Request - State: closed - Opened by stepchowfun about 1 year ago

#99 - Add a CI badge to the README

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#98 - Switch to the Berkeley Mono typeface

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#97 - Switch the font back to SF Mono Powerline

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#96 - Update the screenshot

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#95 - Switch the font to JetBrains Mono

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#94 - Remove the JavaScript-related Neovim plugins

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#93 - Update the screenshot

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#92 - Enable Powerline fanciness in the Oh My Zsh theme

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#91 - Switch the font to SF Mono

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#90 - Update some things

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#89 - Remove LanguageClient-neovim, since it doesn't support Apple silicon

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#88 - Add a CI job and update the Alacritty config

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#87 - Update the Alacritty config

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#86 - Update .zshrc

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#85 - Update the installation script and submodules

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#84 - Update .zshrc

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#83 - Update the Alacritty config

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#82 - Update .zshrc

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#81 - Update `install-local.sh`

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#80 - Fix a typo in the tmux configuration

Pull Request - State: closed - Opened by stepchowfun over 1 year ago

#79 - Use extended regular expressions for the `replace` shell function

Pull Request - State: closed - Opened by stepchowfun over 2 years ago

#78 - Fix the path to the Coq binaries

Pull Request - State: closed - Opened by stepchowfun almost 3 years ago

#77 - Upgrade Coq to v8.15.0

Pull Request - State: closed - Opened by stepchowfun almost 3 years ago

#75 - Fix the installation command

Pull Request - State: closed - Opened by stepchowfun almost 3 years ago

#74 - Fix the Neovim configuration

Pull Request - State: closed - Opened by stepchowfun almost 3 years ago

#73 - Update the Neovim configuration

Pull Request - State: closed - Opened by stepchowfun almost 3 years ago

#72 - Fix a bug in the installation script

Pull Request - State: closed - Opened by stepchowfun almost 3 years ago

#71 - Download submodules in the installation script

Pull Request - State: closed - Opened by stepchowfun almost 3 years ago

#70 - Remove some irrelevant instructions

Pull Request - State: closed - Opened by stepchowfun almost 3 years ago

#69 - Add `MAINTAINERS.md`

Pull Request - State: closed - Opened by stepchowfun almost 3 years ago

#68 - Update the repo for 2022

Pull Request - State: closed - Opened by stepchowfun almost 3 years ago

#67 - Fix the installation commands for oh-my-zsh

Pull Request - State: closed - Opened by stepchowfun about 3 years ago

#66 - Actually upgrade base16-shell

Pull Request - State: closed - Opened by stepchowfun almost 4 years ago

#65 - Upgrade base16-shell

Pull Request - State: closed - Opened by stepchowfun almost 4 years ago

#64 - Fix a bug in the installation procedure for Alacritty

Pull Request - State: closed - Opened by stepchowfun almost 4 years ago

#63 - Simplify the part of the installation script that installs neovim

Pull Request - State: closed - Opened by stepchowfun almost 4 years ago

#62 - Simplify the part of the installation script that installs ripgrep

Pull Request - State: closed - Opened by stepchowfun almost 4 years ago

#61 - Make the install script work from any directory

Pull Request - State: closed - Opened by stepchowfun almost 4 years ago

#60 - Implement some minor fixes

Pull Request - State: closed - Opened by stepchowfun almost 4 years ago

#59 - Bump Coq to version 8.13.0

Pull Request - State: closed - Opened by stepchowfun almost 4 years ago

#58 - Run `brew upgrade` rather than `brew update`

Pull Request - State: closed - Opened by stepchowfun almost 4 years ago

#57 - Upgrade Coq to version 8.12.2

Pull Request - State: closed - Opened by stepchowfun almost 4 years ago

#56 - Update the Alacritty config to support v0.6.0

Pull Request - State: closed - Opened by stepchowfun almost 4 years ago

#55 - Change a fatal non-breaking space into a regular space

Pull Request - State: closed - Opened by stepchowfun about 4 years ago

#54 - Update the Neovim config

Pull Request - State: closed - Opened by stepchowfun over 4 years ago

#53 - Add `vim-jsx-pretty`

Pull Request - State: closed - Opened by stepchowfun over 4 years ago

#52 - In the vim configuration, install plugins first

Pull Request - State: closed - Opened by stepchowfun over 4 years ago

#51 - Reorganize `init.vim`

Pull Request - State: closed - Opened by stepchowfun over 4 years ago

#50 - Remove `kotlin-vim`

Pull Request - State: closed - Opened by stepchowfun over 4 years ago

#48 - Update the Homebrew installation command and the `.zshrc` config

Pull Request - State: closed - Opened by stepchowfun over 4 years ago

#47 - Update the tmux config for the latest version of tmux

Pull Request - State: closed - Opened by stepchowfun over 4 years ago

#46 - Try CoC instead of LanguageClient-neovim

Pull Request - State: closed - Opened by stepchowfun over 4 years ago

#45 - Use Rust Analyzer rather than RLS

Pull Request - State: closed - Opened by stepchowfun over 4 years ago

#44 - Use 4 spaces for indentation in Rust files

Pull Request - State: closed - Opened by stepchowfun almost 5 years ago

#43 - Remove unused easymotion configuration

Pull Request - State: closed - Opened by stepchowfun almost 5 years ago

#42 - Remove the outer parentheses from the installer script

Pull Request - State: closed - Opened by stepchowfun about 5 years ago

#41 - Fix a couple typos in the README

Pull Request - State: closed - Opened by stepchowfun about 5 years ago

#40 - Clarify what the installer script does in the README

Pull Request - State: closed - Opened by stepchowfun about 5 years ago

#39 - Use less curly curly braces

Pull Request - State: closed - Opened by stepchowfun about 5 years ago

#37 - Fix a typo in the README

Pull Request - State: closed - Opened by stepchowfun about 5 years ago

#36 - Make the installer script more robust

Pull Request - State: closed - Opened by stepchowfun about 5 years ago

#35 - Have the installer script install Allacritty

Pull Request - State: closed - Opened by stepchowfun about 5 years ago

#34 - Use the Input font

Pull Request - State: closed - Opened by stepchowfun about 5 years ago

#32 - Set `hide_when_typing: true` in the Alacritty config

Pull Request - State: closed - Opened by stepchowfun about 5 years ago

#31 - Fix indentation in the README

Pull Request - State: closed - Opened by stepchowfun about 5 years ago

#30 - Update the README

Pull Request - State: closed - Opened by stepchowfun about 5 years ago

#29 - Update the Alacritty config

Pull Request - State: closed - Opened by stepchowfun about 5 years ago

#28 - Install Homebrew

Pull Request - State: closed - Opened by stepchowfun about 5 years ago