Tag: vscode

created: 2025-03-21; tags: autholog, bib, coding, emacs, keybindings, spacemacs, vim, vscode, vspacecode

코딩 도구 춘추전국시대에 키바인딩 통합이 왜 중요한지 말하는 글이다. 실제 활용 흐름을 담았다.

created: 2024-07-08; tags: coq, vscode, proof

opam과 VSCode 경로를 이용해 Coq를 설치하고 언어 서버까지 맞추는 절차를 적은 기록.

created: 2025-06-01; tags: vscode, spacemacs, ide, ai, bib, configuration

§VSpaceCode #vscode 스페이스맥스 키바인딩

created: 2024-09-26; tags: bib, vscode, technology, writing, publishing

@zenn @qitta 일본 기술 블로그 서비스

created: 2025-04-29; tags: development, forwarding, meta, proxy, remote, ssh, tramp, vscode

원격 개발과 SSH, 프록시, 포워딩, TRAMP 같은 연결 방식을 묶어 원격 작업의 언어를 정리한다.

created: 2023-07-26; tags: ide, microsoft, vscode, vspacecode

#VSCODE

created: 2025-02-17; tags: bib, emacs, jupyter, vscode

무료 Wolfram Engine을 주피터와 이맥스, VSCode에 연결해 보려는 노트이다.