mirror of
https://github.com/VSCodium/vscodium.git
synced 2026-04-10 05:51:53 -05:00
[PR #176] [MERGED] Launch the IDE with codium (instead of vscodium) #2114
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/VSCodium/vscodium/pull/176
Author: @bittner
Created: 5/29/2019
Status: ✅ Merged
Merged: 5/31/2019
Merged by: @stripedpajamas
Base:
master← Head:feature/rename-binary-to-codium📝 Commits (1)
0f6cfd5Launch the IDE with codium (instead of vscodium)📊 Changes
2 files changed (+3 additions, -3 deletions)
View changed files
📝
VSCodium-AppImage-Recipe.yml(+2 -2)📝
build.sh(+1 -1)📄 Description
We want to run VSCodium via
codiumin the terminal. This aligns with the non-free binary distribution and should make transitioning easier w.r.t. muscle memory.Fixes #36.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.