Lepton 是基于 Gist 的代码片段管理工具( Snippet Manager ),支持 Mac/Windows/Linux。(开源免费)
- 新增 snippet 雷达图,了解技能增长方向 (如下截图)
- 新增自动更新功能,无需手动下载
# installation: pip3 install wordcloud | |
wordcloud_cli --text mytext.txt --imagefile wordcloud.png |
query { | |
resolution { | |
.... | |
#define section-info | |
section { | |
name | |
uniqueName | |
href | |
parameters { | |
key |
Function | Shortcut | Note |
---|---|---|
New Snippet | Cmd/Ctrl + N |
Create a snippet |
Edit Snippet | Cmd/Ctrl + E |
Edit a snippet |
Submit | Cmd/Ctrl + S |
Submit the changes from the editor |
Cancel | Cmd/Ctrl + ESC |
Exit the editor without saving |
Immersive Mode | Cmd/Ctrl + I |
Toggle the Immersive mode |
Dashboard | Cmd/Ctrl + D |
Toggle the dashboard |
About Page | Cmd/Ctrl + , |
Toggle the About page |
Search | Shift + Space |
Toggle the search bar |
Callable<Boolean> callable = new Callable<Boolean>() { | |
public Boolean call() throws Exception { | |
return true; // do something useful here | |
} | |
}; | |
Retryer<Boolean> retryer = RetryerBuilder.<Boolean>newBuilder() | |
.retryIfResult(Predicates.<Boolean>isNull()) | |
.retryIfExceptionOfType(IOException.class) | |
.retryIfRuntimeException() |
import java.io.File; | |
import java.io.IOException; | |
public class TmpDirExample { | |
public static void main(String[] args) { | |
String tmpdir = System.getProperty("java.io.tmpdir"); | |
System.out.println("The default value of the java.io.tmpdir system property is: \"" | |
+ tmpdir + "\"\n"); |
@ECHO OFF | |
for /l %%a IN (4,-1,0) do ( | |
echo.%%a: First command in block | |
echo. Second command in block | |
) | |
echo. | |
if exist "c:\windows" ( | |
echo.The c:\windows directory exist. | |
set "IsWin=YES" |
# If you come from bash you might have to change your $PATH. | |
# export PATH=$HOME/bin:/usr/local/bin:$PATH | |
# Path to your oh-my-zsh installation. | |
export ZSH="/Users/cosmoqiu/.oh-my-zsh" | |
# Set name of the theme to load --- if set to "random", it will | |
# load a random theme each time oh-my-zsh is loaded, in which case, | |
# to know which specific one was loaded, run: echo $RANDOM_THEME | |
# See https://github.com/robbyrussell/oh-my-zsh/wiki/Themes |