Posts

Intro Bash에서 Color를 표현하는 방법을 알아본다. bash로 작성한 프로그램의 출력이나 프롬프트를 예쁘게 표현해 보자. 그러나 지나친 시간 투자 보다는 색깔이 주는 주목성과 구분력, 편한함, 간결함에 집중하자. Map the colors # Color mapping grey='\[\033[1;30m\]' red='\[\033[0;31m\]' RED='\[\033[1;31m\]' green='\[\033[0;32m\]' GREEN='\[\033[1;32m\]' yellow='\[\033[0;33m\]' YELLOW='\[\033[1;33m\]' purple='\[\033[0;35m\]' PURPLE='\[\033[1;35m\]' white='\[\033[0;37m\]' WHITE='\[\033[1;37m\]' blue='\[\033[0;34m\]' BLUE='\[\033[1;34m\]' cyan='\[\033[0;36m\]' CYAN='\[\033[1;36m\]' NC='\[\033[0m\]' Bash Prompt ~/.bash_profile이나 ~/.bashrc에 다음과 같이 작성하고 다시 로그인 case $HOSTNAME in plato*) PSC="\e[1;33m" ;; *) PSC="\e[36m" ;; esac PS1="[\j]\[${PSC}\]\u@\h(\l) \[\e[37m\][ \w ]\[\e[00m\]\n\[\e[1m\]\#\[\e[0m\] \$ " REFERENCE Bash Prompt Generator : https://robotmoon.com/bash-prompt-generator/ Customizing Bash Prompt : https://linuxopsys.com/topics/customizing-bash-prompt-in-linux-changing-colors

last updated: {{ “1718885075” | date: “%Y-%m-%d %H:%M” }} Intro Docker에서 많이 사용되어 유명해졌다. 다음은 알파인 리눅스의 세가지 특징이자 철학이다. Small: musl libc + busybox (container: 8MB, Minimal Disk Install: 130MB) Simple: package manager apk, Init System OpenRC and Fast Secure: Position Independent Executables(PIE) INSTALL alpine_install - 설치 alpine_upgrade - 업그레이드 alpine_devel - 개발환경 alpine_wsl2 - 윈도우즈 WSL2에서 alpine 설치 REFERENCE docker-busybox Alpine FAQ: https://wiki.alpinelinux.org/wiki/Alpine_Linux:FAQ Alpine Tutorial and Howtos: https://wiki.alpinelinux.org/wiki/Tutorials_and_Howtos

개요 윈도우즈에서 도커를 사용하는 방법을 설명한다. 이것으로써 윈도우, 리눅스의 모든 환경에서 도커의 범용성과 안정성이 확보된다. 즉, 개발환경, 테스트환경, 실행환경의 일관성을 갖게 된다. 첫째는 WSL2 + Git Bash + Docker Desktop를 결합하여 사용하는 방법이다. 둘째는 WSL2 + Alpine를 설치하고 알파인 리눅스에서 git + docker의 형태로 사용하는 방법이다. 두번째 방법이 조금 복잡해 보이긴 하나 훨씬 처리가 간결하고 적은 리소스와 빠른 실행 속도가 돋보인다. 또한 리눅스 기반이므로 파일시스템 문제, 퍼미션 문제, 경로 처리 문제 등에서 훨씬 쉽고 편한 환경이므로 두번째 방법에 대해서 상술한다. Windows WSL2 공통 기반 설정 설치환경: Windows 11 Bios 설정: 바이오스에서 가상머신 지원(Virtual Machine Support) 여부를 선택한다. WSL2를 확인하고 필요하면 업데이트한다. (PowerShell:관리자권한으로) > wsl -l -v # Version Check > wsl --update # wsl2 upgrade or update Nerd Font 설치 터미널에서 아이콘 등 nerd font가 표시되고 코딩시 가독성을 높이기 위해서 설치 MeslsLGS NF Install https://github.com/fontmgr/MesloLGSNF D2Coding (코딩용 영문 한글 지원: 하지만 이것은 Nerd Font가 아니다.) https://github.com/naver/d2codingfon WSL2 + Git Bash + Docker Desktop Docker Desktop ...

신들은 처음부터 모든 것을 계시해 주지 않았다. 그러나 인간은 탐구를 해 나가고, 그래서 조만간 더 많은 것을 알게 된다. 여기 이것들이 마치 진리인 듯 생각하자. 그러나 신에 대한 진리와 내가 말하고 있는 내용을 아무도 알지 못하고 또 앞으로도 아는 자가 없으리라. 만일 어떤 자가 스스로 완전한 진리를 말하는 경우가 있다고 해도 그 자신은 그 사실을 알지 못하며 모든 것에는 겉모습이 덧씌워져 있어 본모습을 가리고 있기 때문이다. - 크세노파네스 저자 모리스 클라인(MORRIS KLINE, 1908∼1992년) 모리스 클라인은 브루클린과 자메이카, 퀸스에서 자랐다. 브루클린의 보이스 고등학교를 졸업하고 뉴욕 대학교에서 수학을 공부했다. 같은 대학교에서 1930년에 학사 학위를 받았고 석사 학위(1930년), 박사 학위(1936년)를 받았다. 1938년부터 1975년까지 뉴욕 대학교 쿠란트 수리 과학 연구소에서 교수로 재직하며 학생들을 가르쳤다. 은퇴 후에도 쿠란트 수리 과학 연구소의 명예 교수로 일하며 수학과 수학 교육에 관한 다양한 저술을 남겼다. 순수 수학만이 아니라 응용 수학의 의미와 가치를 대중적으로 인식시키는 데 크게 공헌했다. ...

20세기 수학의 기초론의 발전과정은 다음과 같은 비유로 적절하게 요약될 수 있을 듯 싶다. 라인 강둑에 수백 년 된 아름다운 성이 서 있다. 성 지하에 사는 부지런한 거미들이 거미줄로 거미집을 정교하게 지어 놓았다. 어느 날 세찬 바람이 불어 거미줄이 부서졌다. 거미들은 미친 듯이 거미줄을 뽑아 집을 고쳤다. 그것은 거미들이 성이 무너지지 않게 지탱해 주는 것은 자기들이 지은 거미집이라고 생각했기 때문이다. 모리스 클라인 <수확의 확실성>