Commits · master · seartipy / lean-dotfiles

Browse files

Nov 06, 2018
- fix more issues with README · c9a940c1
  Pervez Iqbal authored Nov 05, 2018
  
  c9a940c1
- install intellij community edition · ea26d22e
  Pervez Iqbal authored Nov 05, 2018
  
  ea26d22e
- add ~/.lean-post-local.el support · 3545de5a
  Pervez Iqbal authored Nov 05, 2018
  
  3545de5a
- update README to reflect recent changes to the installer · aa16850a
  Pervez Iqbal authored Nov 05, 2018
  
  aa16850a
- cleanup · cf203000
  Pervez Iqbal authored Nov 05, 2018
  
  cf203000
- remove ~/.local/bin from path, needed by haskell · 7eac0a9f
  Pervez Iqbal authored Nov 05, 2018
  
  7eac0a9f
Nov 03, 2018
- projectile prefix keybinding · ef84119b
  Pervez Iqbal authored Nov 03, 2018
  
  ef84119b
- drop duplicate savehist config · 39fd8d60
  Pervez Iqbal authored Nov 03, 2018
  
  39fd8d60
- drop persp-mode · 0335255c
  Pervez Iqbal authored Nov 03, 2018
  
  0335255c
- disable gpg signature check, creates problems on mac · 352c1ba1
  Pervez Iqbal authored Nov 03, 2018
  
  352c1ba1
- small fix · 6d845341
  Pervez Iqbal authored Nov 03, 2018
  
  6d845341
- install Java 8 on mac not latest Java · 5446c19b
  Pervez Iqbal authored Nov 03, 2018
  
  5446c19b
- homebrew already includes brew cask · 35f8b3ef
  Pervez Iqbal authored Nov 03, 2018
  
  35f8b3ef
- add key bindings to important emacs packages · 370c9f37
  Pervez Iqbal authored Nov 03, 2018
  
  370c9f37
- rm KEY_BINGINGS.md · da7b532c
  Pervez Iqbal authored Nov 02, 2018
  
  da7b532c
- drop general from emacs config · a1daf6fa
  Pervez Iqbal authored Nov 02, 2018
  
  a1daf6fa
Nov 02, 2018
- Add LICENSE · d4a76537
  Pervez Iqbal authored Nov 02, 2018
  
  d4a76537
- add missing bash and zsh install · 5319af97
  Pervez Iqbal authored Nov 02, 2018
  
  5319af97
- remove emacs and vscode options · 18a3f812
  Pervez Iqbal authored Nov 02, 2018
  
  18a3f812
- drop python, haskell, atom · f37d92f4
  Pervez Iqbal authored Nov 02, 2018
  
  f37d92f4
May 18, 2018
- update vscode packages · 19979955
  Pervez Iqbal authored May 18, 2018
  
  19979955
May 13, 2018
- nvm install version update · 10b43602
  Pervez Iqbal authored May 12, 2018
  
  10b43602
- use official sbt ppa · 73abb0a5
  Pervez Iqbal authored May 12, 2018
  
  73abb0a5
Dec 02, 2017
- use atom-typescript, ide-typescript is still unstable · d351405e
  Pervez Iqbal authored Dec 02, 2017
  
  d351405e
Nov 30, 2017
- atom packages for typescript/javascript development · 2267b1db
  Pervez Iqbal authored Nov 30, 2017
  
  2267b1db
Sep 17, 2017
- use wget instead of curl for vscode key · f9859962
  Pervez Iqbal authored Sep 17, 2017
  
  f9859962
- fix broken vscode ppa installation from previous install · 1578a5c8
  Pervez Iqbal authored Sep 17, 2017
  
  1578a5c8
- fix vscode gpg key issue · 6d822412
  Pervez Iqbal authored Sep 17, 2017
  
  6d822412
Sep 16, 2017
- drop vscode plugins · aae04c07
  Pervez Iqbal authored Sep 16, 2017
  
  aae04c07
- add vscode plugins · 718b8d24
  Pervez Iqbal authored Sep 16, 2017
  
  718b8d24
- drop vscode plugins · 16644cb5
  Pervez Iqbal authored Sep 16, 2017
  
  16644cb5
- use new vscode gpg key · aa5c605e
  Pervez Iqbal authored Sep 16, 2017
  
  aa5c605e
Sep 10, 2017
- vscode bug fixed · 83f8ed55
  Pervez Iqbal authored Sep 10, 2017
  
  83f8ed55
Aug 24, 2017
- install cython and numba · 21229874
  Pervez Iqbal authored Aug 24, 2017
  
  21229874
Aug 12, 2017
- use official vscode ppa · d2a69377
  Pervez Iqbal authored Aug 12, 2017
  
  d2a69377
- bug in vscode extension cli installation, comment it out for now · a5b222cd
  Pervez Iqbal authored Aug 12, 2017
  
  a5b222cd
Aug 05, 2017
- refactor setup-tide-mode · 508f931d
  Pervez Iqbal authored Aug 05, 2017
  
  508f931d
- add prettier-js-mode · 8a15057a
  Pervez Iqbal authored Aug 05, 2017
  
  8a15057a
- add add-node-modules-path · f3ffbef3
  Pervez Iqbal authored Aug 05, 2017
  
  f3ffbef3
- fix global-auto-revert-mode · 86f64fde
  Pervez Iqbal authored Aug 05, 2017
  
  86f64fde