Skip to content

Instantly share code, notes, and snippets.

@LeanSeverino1022
Last active October 25, 2022 23:03
Show Gist options
  • Select an option

  • Save LeanSeverino1022/bf97d44d82c4375701788f79f1d06a0a to your computer and use it in GitHub Desktop.

Select an option

Save LeanSeverino1022/bf97d44d82c4375701788f79f1d06a0a to your computer and use it in GitHub Desktop.
[Set lepton theme to dark] This is a template for Lepton's configuration file. Please place it on your home directory #config
{
"theme": "dark",
"snippet": {
"expanded": true,
"newSnippetPrivate": false,
"sorting": "updated_at",
"sortingReverse": true
},
"editor" : {
"tabSize": 4
},
"userPanel": {
"hideProfilePhoto": false
},
"logger": {
"level": "debug"
},
"proxy": {
"enable": false,
"address": "socks://localhost:1080"
},
"enterprise": {
"enable": false,
"host": "github_enterprise_host",
"token": "token_with_gist_enabled",
"avatarUrl": "optional_avatar_url"
}
}

Resources

More about Lepton customization: link

from there you can see the configuration options. For me, I just wanted to change the light to dark theme.

I just want a Dark Theme

If just you want to change to dark theme, just save a copy of the .leptonrc file into your home directory.

Home Directory on Windows

  • The home directory varies on different Windows distributions, but most of the time you can begin with the following path.
C:\Users\<CurrentUserName>\.leptonrc

for me it's

C:\Users\yih\.leptonrc
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment