mirror of
https://github.com/xHyroM/zed-discord-presence.git
synced 2024-11-10 00:18:06 +01:00
Compare commits
No commits in common. "f4ca4825e2956f89e9860051fbaf2cb257e21670" and "94bdd3081a10c26132578abd2e51bb00e98e2202" have entirely different histories.
f4ca4825e2
...
94bdd3081a
2 changed files with 0 additions and 45 deletions
37
.github/workflows/gimi.yml
vendored
37
.github/workflows/gimi.yml
vendored
|
@ -1,37 +0,0 @@
|
|||
name: gimi
|
||||
on: [push, delete]
|
||||
|
||||
jobs:
|
||||
sync:
|
||||
runs-on: ubuntu-24.04
|
||||
steps:
|
||||
- uses: actions/checkout@v4
|
||||
if: github.event_name != 'pull_request'
|
||||
with:
|
||||
fetch-depth: 0
|
||||
- if: github.event_name != 'pull_request'
|
||||
run: |
|
||||
set +x
|
||||
|
||||
mkdir ~/.ssh -p
|
||||
|
||||
git remote add gimi-sourcehut git@git.sr.ht:~hyro/zed-discord-presence
|
||||
ssh-keyscan git.sr.ht >> ~/.ssh/known_hosts
|
||||
echo -e "$SOURCEHUT" >> ~/.ssh/gimi-sourcehut
|
||||
chmod 600 ~/.ssh/gimi-sourcehut
|
||||
echo -e "Host git.sr.ht\nUser git\nIdentityFile ${HOME}/.ssh/gimi-sourcehut" >> ~/.ssh/config
|
||||
git push -f --all gimi-sourcehut
|
||||
git push -f --tags gimi-sourcehut
|
||||
|
||||
git remote add gimi-codeberg git@codeberg.org:xHyroM/zed-discord-presence.git
|
||||
ssh-keyscan codeberg.org >> ~/.ssh/known_hosts
|
||||
echo -e "$CODEBERG" >> ~/.ssh/gimi-codeberg
|
||||
chmod 600 ~/.ssh/gimi-codeberg
|
||||
echo -e "Host codeberg.org\nUser git\nIdentityFile ${HOME}/.ssh/gimi-codeberg" >> ~/.ssh/config
|
||||
git push -f --all gimi-codeberg
|
||||
git push -f --tags gimi-codeberg
|
||||
|
||||
set -x
|
||||
env:
|
||||
SOURCEHUT: ${{ secrets.SOURCEHUT }}
|
||||
CODEBERG: ${{ secrets.CODEBERG }}
|
|
@ -9,19 +9,11 @@ The easiest way to get [rust](https://rust-lang.org) is by using [rustup](https:
|
|||
|
||||
### How to install?
|
||||
|
||||
Since [zed-industries/extensions#1217](https://github.com/zed-industries/extensions/pull/1217) has been merged, you can simply download the extension in <kbd>zed: extensions</kbd>.
|
||||
Don't forget to give at least a ⭐ if you like this project :D
|
||||
|
||||
<details>
|
||||
<summary>Dev installation</summary>
|
||||
|
||||
1. Clone this repository
|
||||
2. <kbd>CTRL</kbd> + <kbd>SHIFT</kbd> + <kbd>P</kbd> and select <kbd>zed: install dev extension</kbd>
|
||||
3. Choose the directory where you cloned this repository
|
||||
4. Enjoy :)
|
||||
|
||||
</details>
|
||||
|
||||
## How to configure?
|
||||
|
||||
You can configure state, details and git integration by changing Discord Presence LSP settings. This can be done in <kbd>zed: open settings</kbd> with following configuration:
|
||||
|
|
Loading…
Reference in a new issue