Skip to content

Instantly share code, notes, and snippets.

IDEAの設定

Settings

SDKMANでインストールしたJDKを使う

Project Structure -> Project SDK

echo $JAVA_HOME

するとPATHが通ってることは確認できるがなぜかIDEAは認識しないので手動で設定

@ahuglajbclajep
ahuglajbclajep / Makefile
Last active April 6, 2018 00:51
Makefileのテンプレート
CC = gcc
CFLAGS = -std=c99 -O2
LDFLAGS = -lm
LIBS =
INCLUDE = -I$(SRC_DIR)
APP_NAME = App_Name
SRC_DIR = src
OBJ_DIR = build
SRC = $(wildcard $(SRC_DIR)/*.c)
data Term
= TmTrue
| TmFalse
| TmIf Term Term Term
| TmZero
| TmSucc Term
| TmPred Term
| TmIsZero Term
deriving Show

mac がきたら最初にやる設定

GUIでぽちぽち

システム環境設定

  • Dock
    • 最近使ったアプリケーションを Dock に表示: uncheck
  • Siri
    • Siri に頼むを有効にする: uncheck
@ahuglajbclajep
ahuglajbclajep / tsconfig.json
Last active November 22, 2020 10:51
npx -p [email protected] -c 'tsc --init'
{
"compilerOptions": {
/* Visit https://aka.ms/tsconfig.json to read more about this file */
/* Basic Options */
// "incremental": true, /* Enable incremental compilation */
"target": "es5", /* Specify ECMAScript target version: 'ES3' (default), 'ES5', 'ES2015', 'ES2016', 'ES2017', 'ES2018', 'ES2019', 'ES2020', or 'ESNEXT'. */
"module": "commonjs", /* Specify module code generation: 'none', 'commonjs', 'amd', 'system', 'umd', 'es2015', 'es2020', or 'ESNext'. */
// "lib": [], /* Specify library files to be included in the compilation. */
// "allowJs": true, /* Allow javascript files to be compiled. */
@ahuglajbclajep
ahuglajbclajep / google-translate-ignore.user.js
Last active November 21, 2020 18:33
my UserScripts for Tampermonkey
// ==UserScript==
// @name google translate ignore
// @version 0.2
// @description Ignore code blocks with google translation.
// @match *://*/*
// ==/UserScript==
const github = ['table.js-file-line-container', 'table.js-diff-table'];
const selector = ['pre'].concat(github).join(', ');