平衡点


2008/10/28

_ git の pre-commit を Rake で書く

良い大人は「Make で良いじゃん」とか言わない.

# Rakefile
require 'rake/clean'
makefiles=`find -name Makefile`.split
`cat .gitignore`.split.each do |ign|
    makefiles.delete_if{|x| x =~/^\.\/#{ign}/} if FileTest.directory?(ign)
end

task :default => "distclean"

desc "DistClean all project"
task :distclean do
  MAKEFILES.each do |makefile|
    cd File.dirname(makefile) do
      if makefile =~/gste-dns/
        sh "make"
      else
        sh "make clean"
      end
    end
  end
end

無駄がありそうだけれど, まあ良いや. これを .git/hooks/pre-commit で呼ぶようにしておく.

#!/bin/sh
RAKE=`which rake`
if [[ ! -x $RAKE ]];
then
  echo "ERROR: rake is not found"
  exit 1
fi
echo -n "rake clean ..."
$RAKE -f 00Rakefile distclean 1>/dev/null 2>&1
echo "done"

こんなんで良いのかな?

_ CDBS Online Gallery

以前の関西 Debian 勉強会の準備中に, CDBS Online Gallery が 2006 年で更新止まってるなぁ...と twitter に呟いたら,岩松さんが更新して下さいました.

twitter の tinyurl で教えて頂いたので, てっきり本家が更新されたんだ, とか勘違いしていました. 岩松さんが独自に更新してたんですね.

遅くなりましたが, ありがとうございました(とここで呟いても駄目だと思うので, ちゃんと御会いして言わなきゃな??).

_ whizztex-mode

">" で advi の表示は大きくできたので, 当分これを使用する予定.jsarticle の時に日本語が表示されないのは, mingoth でとりあえず凌ぐ.

(setq whizzy-load-factor 0.1)
(setq whizzytex-mode-hook
      '(lambda()
         (progn
           (set-face-foreground 'whizzy-error-face "magenta")
           (set-face-foreground 'whizzy-point-face "Orange")
           )))

連絡先など
最近の日記
  • 2024/10/09
    • 1. Mastodon でのメール通知, というか Exim4 と Apparmor
  • 2024/06/19
    • 1. WSL2 での gpg-agent, ssh-agent
  • 2024/06/18
    • 1. WSL で Windows 側のフォントを利用する
  • 2024/06/17
    • 1. WSLとWindowsの時刻同期
  • 2024/06/12
    • 1. wsl2 で systemd
    • 2. wslg の設定
一覧
2006|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|02|03|04|08|09|10|11|12|
2013|01|02|03|04|05|06|08|09|10|11|12|
2014|01|02|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|09|10|
2016|02|03|
2017|01|02|03|05|06|07|09|11|12|
2018|03|06|07|10|11|12|
2019|01|02|03|04|05|07|10|12|
2020|01|02|03|04|05|08|09|10|11|12|
2021|01|02|03|05|06|07|08|09|11|12|
2022|01|02|03|04|05|06|08|10|11|12|
2023|02|03|04|06|08|09|11|12|
2024|01|02|03|04|05|06|10|
Back to Top ▲