diff options
| author | Manuel Palenzuela <manuelpalenzuelamerino@gmail.com> | 2019-06-11 21:28:33 +0200 |
|---|---|---|
| committer | Manuel Palenzuela <manuelpalenzuelamerino@gmail.com> | 2019-06-11 21:28:33 +0200 |
| commit | c011ac1e45e49b5412bc129f55770e116afb5301 (patch) | |
| tree | ff0d9a5f0d8a9c3720079c2eb5095fc7530062bb | |
| parent | revert IME support (diff) | |
| download | dmenu-c011ac1e45e49b5412bc129f55770e116afb5301.tar.gz dmenu-c011ac1e45e49b5412bc129f55770e116afb5301.tar.bz2 dmenu-c011ac1e45e49b5412bc129f55770e116afb5301.zip | |
Initial Commit
| -rw-r--r-- | .gitignore | 4 | ||||
| -rwxr-xr-x | sync | 11 |
2 files changed, 15 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..312e223 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +*.orig +*.rej +*.o +dmenu_run diff --git a/sync b/sync new file mode 100755 index 0000000..1c1dae2 --- /dev/null +++ b/sync @@ -0,0 +1,11 @@ +#!/bin/bash -e + +if ! git remote | grep -x suckless; then + git remote add suckless git://git.suckless.org/dmenu +fi + +# back up, since we are rewriting history +git branch "$(date +%Y%m%d%H%M%S%N)" + +git fetch -p suckless +git rebase -p suckless/master |