/AstronomyDomine

My Spacemacs Configurations.

Primary LanguageEmacs LispGNU General Public License v3.0GPL-3.0

AstronomyDomine

My Spacemacs Configurations.

Features

General Features

  • Email Notifications(F1) (QQ Only)
  • Finance Management(F2)
  • Open Code Directory(F3)
  • Agenda Settings(F4)
  • Settings(F5)
  • Show/Hide Project Structure
  • FFMPEG Commands Support
  • Godot Engine Development
  • ...

Languages Support

  • Clojure
  • Coq
  • Emacs Lisp (default)

Install

You can move files in this project to your Emacs path to install configurations.

Dashboard

Before you use features on the dashboard(e.g. Open Code Directory or Agenda Settings), please set variables below in the environment file. e.g.

CODE_PATH=D:/Code
AGENDA_PATH=D:/Agenda
WSL_HOME=//wsl.localhost/Ubuntu-20.04/home/neilkleistgao

FFMPEG

You need to install ffmpeg manumally. Make sure ffmpeg is available in your terminal. Please set the video directory before executing ffmpeg: e.g.

FFMPEG_WORKDIR=D:/Videos/烤肉

Emails

You need to add your email information into .spacemacs.env:

EMAIL_ADDRESS=neilkleistgao@qq.com
EMAIL_NAME=neilkleistgao

Make sure you have enabled the IMAP service, and you need to provide the authorization code when logging in.

Caviar

You need to install caviar manumally. Then add your finance directory into .spacemacs.env:

FINANCE_PATH=D:/Finance

Keybinds

Treemacs

  • C-F to open/close treemacs
  • C-> to add current project to treemacs

Coq

  • C-c C-n for next step
  • C-c C-RET for running to the current place.

FFMPEG

  • C-F for executing ffmpeg, be sure that the video's suffix name is mp4 and subtitles' suffix name is ass. You can get the result in the sama direcotry with a Final.mp4 suffix.

Godot Engine Development

  • C-c g to compile temp godot engine.
  • C-c d to generate glue files.
  • C-c t to compile final godot engine.

Dependencies

  • Sarasa-Gothic
  • VA-11 HALL-A(The Title Image Resource)
  • Treemacs
  • Coq Proof General
  • caviar