Hatena::Groupemacs

poginの日記 このページをアンテナに追加 RSSフィード

2012-08-13

Emacsのタイトルバーの表示を改善する

00:24 | Emacsのタイトルバーの表示を改善する - poginの日記 を含むブックマーク はてなブックマーク - Emacsのタイトルバーの表示を改善する - poginの日記 Emacsのタイトルバーの表示を改善する - poginの日記 のブックマークコメント

最近Emacsを使っていて、タイトルバーにバッファ名があってほしくて左上を見ることがあったのだけど、タイトルバーがデフォルトだとemacs@ホスト名になってて全然役になってくれない。

f:id:pogin:20120814012531p:image

バッファの情報はモードラインで知ればいいじゃないという話かもしれないけど、左上もよく見るからバッファ名とかを表示して欲しい。

調べてみるとframe-title-formatを編集すればいいそうで、そこでこのようにしてみる。

(setq frame-title-format (format "%%b - %s-%s@%s" invocation-name emacs-version system-name))
;=> "%b - emacs-23.3.1@HOST-PC" 

;; %b : バッファ名を表示する
;; invocation-name : 起動したEmacsのプログラム名
;; emacs-version : emacsのバージョン名
;; system-name : マシン名(ホスト名)

formatの%sは文字列を表示する変換仕様になる。これで有益な情報を表示することができる。

f:id:pogin:20120814013059p:image


これは普通のやり方より見やすい方と思ってる。普通にモードラインを書く場合

(setq frame-title-format '("%b - " invocation-name "-" emacs-version "@" system-name))
;=> "%b - emacs-23.3.1@HOST-PC" 

となってパッと見よくわからないのでformatの方が可読性は良いと思う。



ほかにもifで表示の分岐をすることもできる。

@see emacs-fu: setting the frame title

参考サイト

no title

WindWind2012/10/31 15:46So that's the case? Quite a reevtlaion that is.

aricppptdaricppptd2012/11/02 07:107E8OS1 , [url=http://wjintwlwrqky.com/]wjintwlwrqky[/url], [link=http://ujjnrtwkhdbd.com/]ujjnrtwkhdbd[/link], http://rljqtvgxkvcn.com/

spjeekftcspjeekftc2012/11/02 23:583kGFAk <a href="http://cacnkjtijrzh.com/">cacnkjtijrzh</a>

sugderudomisugderudomi2012/11/03 11:446EsnIP , [url=http://dzpzowchjlxy.com/]dzpzowchjlxy[/url], [link=http://ihlcwmujhqqh.com/]ihlcwmujhqqh[/link], http://jusamyzvetma.com/

Payday Payday 2018/07/29 09:45high interest loans <a href="http://directlending.cars">bad credit loan</a> payday loans for bad credit <a href=http://directlending.cars>loans</a>

treateelitreateeli2018/07/30 06:36aaa car insurance <a href="https://wecarinsurance.us.com/">car insurance quotes online</a> car insurance quotes florida <a href="https://wecarinsurance.us.com/">auto insurance quotes online</a> | https://wecarinsurance.us.com/ - car insurance companies https://wecarinsurance.us.com/ - the general car insurance

NolibodoEmomsNolibodoEmoms2018/07/31 08:57real money casino <a href="https://onlinecasinoflow.com/">foxwoods online casino</a> caesars online casino <a href="https://onlinecasinoflow.com/">online casino games</a> | https://onlinecasinoflow.com/ - virgin online casino https://onlinecasinoflow.com/ - play online casino

LokydoodoLokydoodo2018/07/31 09:02real casino <a href="https://onlinecasino888.us.org/">casino games</a> online casino slots <a href="https://onlinecasino888.us.org/">parx online casino</a> | https://onlinecasino888.us.org/ - casino real money https://onlinecasino888.us.org/ - casino play

amburseseakamburseseak2018/07/31 09:05casino play <a href="https://onlinecasinoplay777.us.org/">online casinos for us players</a> free online casino slots <a href="https://onlinecasinoplay777.us.org/">casino play</a> | https://onlinecasinoplay777.us.org/ - online casino bonus https://onlinecasinoplay777.us.org/ - casino play

TriessykafCasseTriessykafCasse2018/07/31 09:33free online casino <a href="https://onlinecasinodd.com/">online casino real money</a> zone online casino <a href=" https://onlinecasinodd.com/">casino bonus</a> | https://onlinecasinodd.com/ - best online casino https://onlinecasinodd.com/ - empire city online casino

TugaddiceneiqueTugaddiceneique2018/07/31 09:42casino online slots <a href="https://onlinecasinobiggs.com/">casino online slots</a> tropicana online casino <a href=" https://onlinecasinobiggs.com/ ">virgin online casino</a> | https://onlinecasinobiggs.com/ - caesars online casino https://onlinecasinobiggs.com/ - best online casinos

treateelitreateeli2018/07/31 10:14betfair online casino <a href="https://onlinecasinospark.com/">betfair online casino</a> online casino games <a href="https://onlinecasinospark.com/">online gambling casino</a> | https://onlinecasinospark.com/ - online casinos for us players https://onlinecasinospark.com/ - play online casino

NolibodoEmomsNolibodoEmoms2018/07/31 10:32casino play <a href="https://onlinecasinoflow.com/">empire city online casino</a> play casino <a href="https://onlinecasinoflow.com/">casino real money</a> | https://onlinecasinoflow.com/ - online gambling https://onlinecasinoflow.com/ - best online casinos

LokydoodoLokydoodo2018/07/31 10:38online casino gambling <a href="https://onlinecasino888.us.org/">casino play</a> betfair online casino <a href="https://onlinecasino888.us.org/">betfair online casino</a> | https://onlinecasino888.us.org/ - slots for real money https://onlinecasino888.us.org/ - online casino sites

amburseseakamburseseak2018/07/31 10:40real casino <a href="https://onlinecasinoplay777.us.org/">free online casino slots</a> online casino sites <a href="https://onlinecasinoplay777.us.org/">best online casino</a> | https://onlinecasinoplay777.us.org/ - online casino slots https://onlinecasinoplay777.us.org/ - borgata online casino

TriessykafCasseTriessykafCasse2018/07/31 11:05casino real money <a href="https://onlinecasinodd.com/">virgin online casino</a> best online casinos <a href=" https://onlinecasinodd.com/">best online casino</a> | https://onlinecasinodd.com/ - free online casino slots https://onlinecasinodd.com/ - casino play

treateelitreateeli2018/07/31 11:45online gambling <a href="https://onlinecasinospark.com/">online gambling</a> casino online slots <a href="https://onlinecasinospark.com/">best online casino</a> | https://onlinecasinospark.com/ - online casino sites https://onlinecasinospark.com/ - online casino bonus

NolibodoEmomsNolibodoEmoms2018/07/31 12:05mgm online casino <a href="https://onlinecasinoflow.com/">casino games</a> online casino gambling <a href="https://onlinecasinoflow.com/">online casino bonus</a> | https://onlinecasinoflow.com/ - caesars online casino https://onlinecasinoflow.com/ - tropicana online casino

LokydoodoLokydoodo2018/07/31 12:13casino blackjack <a href="https://onlinecasino888.us.org/">casino online slots</a> borgata online casino <a href="https://onlinecasino888.us.org/">online casino games</a> | https://onlinecasino888.us.org/ - empire city online casino https://onlinecasino888.us.org/ - online casinos

TriessykafCasseTriessykafCasse2018/07/31 12:41online gambling <a href="https://onlinecasinodd.com/">online casino sites</a> foxwoods online casino <a href=" https://onlinecasinodd.com/">online casino bonus</a> | https://onlinecasinodd.com/ - casino play https://onlinecasinodd.com/ - casino bonus

TugaddiceneiqueTugaddiceneique2018/07/31 12:50online casino real money <a href="https://onlinecasinobiggs.com/">zone online casino</a> online casino bonus <a href=" https://onlinecasinobiggs.com/ ">play online casino</a> | https://onlinecasinobiggs.com/ - online gambling casino https://onlinecasinobiggs.com/ - casino blackjack

treateelitreateeli2018/07/31 13:17play online casino <a href="https://onlinecasinospark.com/">borgata online casino</a> real money casino <a href="https://onlinecasinospark.com/">casino blackjack</a> | https://onlinecasinospark.com/ - free online casino https://onlinecasinospark.com/ - casino games

NolibodoEmomsNolibodoEmoms2018/07/31 13:40online casinos <a href="https://onlinecasinoflow.com/">casino bonus</a> casino bonus <a href="https://onlinecasinoflow.com/">online casino real money</a> | https://onlinecasinoflow.com/ - best online casinos https://onlinecasinoflow.com/ - casino play

LokydoodoLokydoodo2018/07/31 13:47play online casino <a href="https://onlinecasino888.us.org/">free online casino</a> play online casino <a href="https://onlinecasino888.us.org/">online casino gambling</a> | https://onlinecasino888.us.org/ - casino games https://onlinecasino888.us.org/ - mgm online casino

amburseseakamburseseak2018/07/31 13:49online gambling casino <a href="https://onlinecasinoplay777.us.org/">zone online casino</a> real money casino <a href="https://onlinecasinoplay777.us.org/">real casino</a> | https://onlinecasinoplay777.us.org/ - tropicana online casino https://onlinecasinoplay777.us.org/ - borgata online casino

TriessykafCasseTriessykafCasse2018/07/31 14:16mgm online casino <a href="https://onlinecasinodd.com/">online casino gambling</a> casino play <a href=" https://onlinecasinodd.com/">play casino</a> | https://onlinecasinodd.com/ - parx online casino https://onlinecasinodd.com/ - real money casino

treateelitreateeli2018/07/31 14:49mgm online casino <a href="https://onlinecasinospark.com/">foxwoods online casino</a> casino blackjack <a href="https://onlinecasinospark.com/">mgm online casino</a> | https://onlinecasinospark.com/ - mgm online casino https://onlinecasinospark.com/ - casino real money

NolibodoEmomsNolibodoEmoms2018/07/31 15:13real money casino <a href="https://onlinecasinoflow.com/">online gambling casino</a> virgin online casino <a href="https://onlinecasinoflow.com/">online casino real money</a> | https://onlinecasinoflow.com/ - slots for real money https://onlinecasinoflow.com/ - real money casino

LokydoodoLokydoodo2018/07/31 15:23parx online casino <a href="https://onlinecasino888.us.org/">online casino bonus</a> online casino real money <a href="https://onlinecasino888.us.org/">casino play</a> | https://onlinecasino888.us.org/ - borgata online casino https://onlinecasino888.us.org/ - foxwoods online casino

amburseseakamburseseak2018/07/31 15:24real money casino <a href="https://onlinecasinoplay777.us.org/">parx online casino</a> free online casino <a href="https://onlinecasinoplay777.us.org/">online casino slots</a> | https://onlinecasinoplay777.us.org/ - real money casino https://onlinecasinoplay777.us.org/ - betfair online casino

TriessykafCasseTriessykafCasse2018/07/31 15:49parx online casino <a href="https://onlinecasinodd.com/">virgin online casino</a> casino games <a href=" https://onlinecasinodd.com/">online casino sites</a> | https://onlinecasinodd.com/ - online casino sites https://onlinecasinodd.com/ - casino games

TugaddiceneiqueTugaddiceneique2018/07/31 15:58best online casino <a href="https://onlinecasinobiggs.com/">online casino real money</a> casino games <a href=" https://onlinecasinobiggs.com/ ">online gambling</a> | https://onlinecasinobiggs.com/ - play online casino https://onlinecasinobiggs.com/ - casino play

treateelitreateeli2018/07/31 16:21real money casino <a href="https://onlinecasinospark.com/">casino real money</a> zone online casino <a href="https://onlinecasinospark.com/">casino games</a> | https://onlinecasinospark.com/ - empire city online casino https://onlinecasinospark.com/ - free online casino slots

NolibodoEmomsNolibodoEmoms2018/07/31 16:48online gambling <a href="https://onlinecasinoflow.com/">casino online slots</a> casino blackjack <a href="https://onlinecasinoflow.com/">betfair online casino</a> | https://onlinecasinoflow.com/ - online casinos for us players https://onlinecasinoflow.com/ - online casino real money

LokydoodoLokydoodo2018/07/31 16:58real casino <a href="https://onlinecasino888.us.org/">casino games</a> online gambling casino <a href="https://onlinecasino888.us.org/">virgin online casino</a> | https://onlinecasino888.us.org/ - online casino real money https://onlinecasino888.us.org/ - online casino bonus

amburseseakamburseseak2018/07/31 17:00casino play <a href="https://onlinecasinoplay777.us.org/">real casino</a> real casino <a href="https://onlinecasinoplay777.us.org/">online casinos</a> | https://onlinecasinoplay777.us.org/ - parx online casino https://onlinecasinoplay777.us.org/ - real casino

TriessykafCasseTriessykafCasse2018/07/31 17:22online casino gambling <a href="https://onlinecasinodd.com/">casino online slots</a> slots for real money <a href=" https://onlinecasinodd.com/">casino blackjack</a> | https://onlinecasinodd.com/ - parx online casino https://onlinecasinodd.com/ - casino real money

TugaddiceneiqueTugaddiceneique2018/07/31 17:31play online casino <a href="https://onlinecasinobiggs.com/">foxwoods online casino</a> casino play <a href=" https://onlinecasinobiggs.com/ ">virgin online casino</a> | https://onlinecasinobiggs.com/ - online casino bonus https://onlinecasinobiggs.com/ - real money casino

treateelitreateeli2018/07/31 17:55betfair online casino <a href="https://onlinecasinospark.com/">caesars online casino</a> slots for real money <a href="https://onlinecasinospark.com/">zone online casino</a> | https://onlinecasinospark.com/ - slots for real money https://onlinecasinospark.com/ - online casinos for us players

NolibodoEmomsNolibodoEmoms2018/07/31 18:26online casino sites <a href="https://onlinecasinoflow.com/">free online casino</a> casino online slots <a href="https://onlinecasinoflow.com/">virgin online casino</a> | https://onlinecasinoflow.com/ - mgm online casino https://onlinecasinoflow.com/ - play casino

amburseseakamburseseak2018/07/31 18:38empire city online casino <a href="https://onlinecasinoplay777.us.org/">free online casino slots</a> best online casino <a href="https://onlinecasinoplay777.us.org/">online casinos</a> | https://onlinecasinoplay777.us.org/ - online gambling https://onlinecasinoplay777.us.org/ - online gambling casino

LokydoodoLokydoodo2018/07/31 18:38free online casino <a href="https://onlinecasino888.us.org/">best online casino</a> free online casino <a href="https://onlinecasino888.us.org/">casino games</a> | https://onlinecasino888.us.org/ - play casino https://onlinecasino888.us.org/ - online casino games

TriessykafCasseTriessykafCasse2018/07/31 18:58online casinos <a href="https://onlinecasinodd.com/">mgm online casino</a> online casino real money <a href=" https://onlinecasinodd.com/">virgin online casino</a> | https://onlinecasinodd.com/ - tropicana online casino https://onlinecasinodd.com/ - play casino

TugaddiceneiqueTugaddiceneique2018/07/31 19:05online casinos for us players <a href="https://onlinecasinobiggs.com/">online gambling</a> best online casinos <a href=" https://onlinecasinobiggs.com/ ">slots for real money</a> | https://onlinecasinobiggs.com/ - online casinos for us players https://onlinecasinobiggs.com/ - casino bonus

treateelitreateeli2018/07/31 19:27foxwoods online casino <a href="https://onlinecasinospark.com/">best online casinos</a> online casino slots <a href="https://onlinecasinospark.com/">casino bonus</a> | https://onlinecasinospark.com/ - casino blackjack https://onlinecasinospark.com/ - slots for real money

LokydoodoLokydoodo2018/07/31 20:16online casino real money <a href="https://onlinecasino888.us.org/">online casino bonus</a> online gambling casino <a href="https://onlinecasino888.us.org/">empire city online casino</a> | https://onlinecasino888.us.org/ - free online casino https://onlinecasino888.us.org/ - online gambling casino

amburseseakamburseseak2018/07/31 20:16online casinos <a href="https://onlinecasinoplay777.us.org/">online casino games</a> borgata online casino <a href="https://onlinecasinoplay777.us.org/">online gambling</a> | https://onlinecasinoplay777.us.org/ - online gambling casino https://onlinecasinoplay777.us.org/ - best online casino

TriessykafCasseTriessykafCasse2018/07/31 20:32caesars online casino <a href="https://onlinecasinodd.com/">casino play</a> play online casino <a href=" https://onlinecasinodd.com/">online casinos for us players</a> | https://onlinecasinodd.com/ - real money casino https://onlinecasinodd.com/ - borgata online casino

TugaddiceneiqueTugaddiceneique2018/07/31 20:38tropicana online casino <a href="https://onlinecasinobiggs.com/">zone online casino</a> play online casino <a href=" https://onlinecasinobiggs.com/ ">casino real money</a> | https://onlinecasinobiggs.com/ - parx online casino https://onlinecasinobiggs.com/ - empire city online casino

valoNeillafvaloNeillaf2018/07/31 20:44ketosis diet <a href="https://ketodietmax24.com/">apple cider vinegar diet</a> dash diet <a href="https://ketodietmax24.com/">south beach diet</a> | https://ketodietmax24.com/ - hcg diet https://ketodietmax24.com/ - keto diet

VorsutleerokeVorsutleeroke2018/07/31 20:44diverticulitis diet <a href="https://ketodietus.com/">shepherds diet</a> keto diet plan <a href="https://ketodietus.com/">diet plans</a> | https://ketodietus.com/ - mayo clinic diet https://ketodietus.com/ - gundry diet

LumpMypeBemLumpMypeBem2018/07/31 20:57gluten free diet <a href="https://ketodietstar.com/">ketogenic diet plan</a> diet plans <a href="https://ketodietstar.com/">hcg diet</a> | https://ketodietstar.com/ - gout diet https://ketodietstar.com/ - atkins diet first 14 days

SeediutleSeediutle2018/07/31 20:57paleo diet food list <a href="https://ketodiet24now.com/">vegan diet</a> ketogenic diet <a href="https://ketodiet24now.com/">vegan diet</a> | https://ketodiet24now.com/ - diet plans https://ketodiet24now.com/ - south beach diet

treateelitreateeli2018/07/31 21:02online casino real money <a href="https://onlinecasinospark.com/">real casino</a> tropicana online casino <a href="https://onlinecasinospark.com/">real money casino</a> | https://onlinecasinospark.com/ - free online casino https://onlinecasinospark.com/ - borgata online casino

verbizormesseniverbizormesseni2018/07/31 21:18muckleshoot casino <a href="https://unitedonlinecasino.gb.net/">gsn casino games</a> real money casino <a href="https://unitedonlinecasino.gb.net/">prairie meadows casino</a> | https://unitedonlinecasino.gb.net/ - casino games no download no registration https://unitedonlinecasino.gb.net/ - gsn casino on facebook

obtaittrizvubobtaittrizvub2018/07/31 21:26renal diet <a href="https://yourdiet24.com/">fasting diet</a> egg diet <a href="https://yourdiet24.com/">dash diet</a> | https://yourdiet24.com/ - vegan diet https://yourdiet24.com/ - diet doctor

AffemnnesAffemnnes2018/07/31 21:28alkaline diet <a href="https://ketodietix.com/">diet pills</a> diabetic diet plan <a href="https://ketodietix.com/">keto diet recipes</a> | https://ketodietix.com/ - dash diet https://ketodietix.com/ - diabetic diet plan

aftessaniseapaftessaniseap2018/07/31 21:29foxwoods online casino <a href="https://bestonlinecasino.gb.net/">caesars casino online</a> parx casino <a href="https://bestonlinecasino.gb.net/">muckleshoot casino</a> | https://bestonlinecasino.gb.net/ - doubledown casino https://bestonlinecasino.gb.net/ - gsn casino games

itesseantexiaitesseantexia2018/07/31 21:33huuuge casino <a href="https://slotsonlinecasino.gb.net/">san manuel casino</a> slotomania slot machines <a href="https://slotsonlinecasino.gb.net/">casino slots</a> | https://slotsonlinecasino.gb.net/ - hyper casinos https://slotsonlinecasino.gb.net/ - jack online casino

NolibodoEmomsNolibodoEmoms2018/07/31 21:35online casinos for us players <a href="https://onlinecasinoflow.com/">online casino bonus</a> free online casino <a href="https://onlinecasinoflow.com/">online gambling</a> | https://onlinecasinoflow.com/ - play casino https://onlinecasinoflow.com/ - zone online casino

lilardKedlilardKed2018/07/31 21:38weight loss drugs <a href="https://weightlosstix.com/">physicians weight loss center</a> weight loss tips <a href="https://weightlosstix.com/">fasting for weight loss</a> | https://weightlosstix.com/ - physicians weight loss center https://weightlosstix.com/ - best weight loss program

JaitiaftistJaitiaftist2018/07/31 21:45slot games <a href="https://onlinecasinoslotsy.us.org/">da vinci diamonds free online slots</a> free slots online <a href="https://onlinecasinoslotsy.us.org/">caesars free slots online</a> | https://onlinecasinoslotsy.us.org/ - vegas free slots https://onlinecasinoslotsy.us.org/ - free online slots games

amburseseakamburseseak2018/07/31 21:51online gambling casino <a href="https://onlinecasinoplay777.us.org/">parx online casino</a> online casino bonus <a href="https://onlinecasinoplay777.us.org/">online casinos for us players</a> | https://onlinecasinoplay777.us.org/ - online gambling casino https://onlinecasinoplay777.us.org/ - foxwoods online casino

LokydoodoLokydoodo2018/07/31 21:52online gambling casino <a href="https://onlinecasino888.us.org/">tropicana online casino</a> online casinos <a href="https://onlinecasino888.us.org/">online casino real money</a> | https://onlinecasino888.us.org/ - caesars online casino https://onlinecasino888.us.org/ - tropicana online casino

JaitiaftistJaitiaftist2018/07/31 21:53zone online casino vegas world <a href="https://usaonlinecasino.gb.net/">play casino</a> doubleu casino on facebook <a href="https://usaonlinecasino.gb.net/">gambling games</a> | https://usaonlinecasino.gb.net/ - vegas casino games https://usaonlinecasino.gb.net/ - tropicana online casino

neottesouffneottesouff2018/07/31 21:53high 5 casino <a href="https://onlinecasinoamerica.gb.net/">big fish casino slots</a> turning stone casino <a href="https://onlinecasinoamerica.gb.net/">gsn casino games</a> | https://onlinecasinoamerica.gb.net/ - empire city casino online https://onlinecasinoamerica.gb.net/ - empire city casino online

scuppyestapiplyscuppyestapiply2018/07/31 21:54best weight loss pills <a href="https://weightlosseo.com/">weight loss drugs</a> weight loss doctors near me <a href="https://weightlosseo.com/">weight loss calculator</a> | https://weightlosseo.com/ - juicing for weight loss https://weightlosseo.com/ - precious weight loss

romAmouchgachromAmouchgach2018/07/31 21:54prescription weight loss medication <a href="https://weightlosskeyz.com/">forskolin for weight loss</a> weight loss medications <a href="https://weightlosskeyz.com/">smoothies for weight loss</a> | https://weightlosskeyz.com/ - chrissy metz weight loss before and after https://weightlosskeyz.com/ - unexplained weight loss

BictAppotoSotBictAppotoSot2018/07/31 22:04potawatomi casino <a href="https://onlinecasinousa.gb.net/">casino game</a> huge casino slots <a href="https://onlinecasinousa.gb.net/">online casino bonus</a> | https://onlinecasinousa.gb.net/ - penny slots https://onlinecasinousa.gb.net/ - choctaw casino durant oklahoma

SeediutleSeediutle2018/07/31 22:05online casino gambling <a href="https://onlinecasinoally.com/">three rivers casino</a> seneca casino online games <a href="https://onlinecasinoally.com/">mgm online casino</a> | https://onlinecasinoally.com/ - online gambling casino https://onlinecasinoally.com/ - dakota sioux casino

TriessykafCasseTriessykafCasse2018/07/31 22:05online casino bonus <a href="https://onlinecasinodd.com/">play online casino</a> best online casino <a href=" https://onlinecasinodd.com/">casino play</a> | https://onlinecasinodd.com/ - best online casinos https://onlinecasinodd.com/ - foxwoods online casino

valoNeillafvaloNeillaf2018/07/31 22:06diverticulitis diet <a href="https://ketodietmax24.com/">brat diet</a> south beach diet <a href="https://ketodietmax24.com/">whole 30 diet</a> | https://ketodietmax24.com/ - mediterranean diet recipes https://ketodietmax24.com/ - dukan diet

VorsutleerokeVorsutleeroke2018/07/31 22:06alkaline diet <a href="https://ketodietus.com/">brat diet</a> dukan diet <a href="https://ketodietus.com/">renal diet</a> | https://ketodietus.com/ - cabbage soup diet https://ketodietus.com/ - south beach diet

TugaddiceneiqueTugaddiceneique2018/07/31 22:11borgata online casino <a href="https://onlinecasinobiggs.com/">casino online slots</a> casino real money <a href=" https://onlinecasinobiggs.com/ ">real casino</a> | https://onlinecasinobiggs.com/ - caesars online casino https://onlinecasinobiggs.com/ - real casino

verbizormesseniverbizormesseni2018/07/31 22:11slot machines <a href="https://onlinecasino777.gb.net/">free slots hollywood</a> free slot play <a href="https://onlinecasino777.gb.net/">cashman casino slots</a> | https://onlinecasino777.gb.net/ - free slot games with no download https://onlinecasino777.gb.net/ - free games for casino slots hollywood

pallDiadaysibpallDiadaysib2018/07/31 22:24juicing for weight loss <a href="https://weightlosskeyz.com/">optifast weight loss program</a> alli weight loss pills <a href="https://weightlosskeyz.com/">optivia weight loss</a> | https://weightlosskeyz.com/ - best weight loss shakes https://weightlosskeyz.com/ - dogs wife beth weight loss

gorreosseoccatogorreosseoccato2018/07/31 22:24breakfast smoothies for weight loss <a href="https://weightlossy24.com/">protein shakes for weight loss</a> smoothies for weight loss <a href="https://weightlossy24.com/">apple cider vinegar weight loss</a> | https://weightlossy24.com/ - juicing for weight loss https://weightlossy24.com/ - weight loss meal plans

LumpMypeBemLumpMypeBem2018/07/31 22:24ketone diet <a href="https://ketodietstar.com/">diabetic diet plan</a> diabetes diet <a href="https://ketodietstar.com/">dukan diet</a> | https://ketodietstar.com/ - fasting diet https://ketodietstar.com/ - liquid diet

BictAppotoSotBictAppotoSot2018/07/31 22:30free slots vegas world <a href="https://onlinecasinoslotsplay.us.org/">casino slots</a> free online slots no download no registration <a href="https://onlinecasinoslotsplay.us.org/">caesars free slots online</a> | https://onlinecasinoslotsplay.us.org/ - slot machines https://onlinecasinoslotsplay.us.org/ - hollywood casino free slots online

VorsutleerokeVorsutleeroke2018/07/31 22:31hollywood casino online <a href="https://onlinecasinosiri.com/">pechanga casino</a> casino game <a href="https://onlinecasinosiri.com/">tropicana online casino nj</a> | https://onlinecasinosiri.com/ - zone online casino log in https://onlinecasinosiri.com/ - online casinos

AdongefAdongef2018/07/31 22:32casino blackjack <a href="https://onlinecasinoplayusa.us.org/">harrah online casino</a> doubledown casino promo codes <a href="https://onlinecasinoplayusa.us.org/">high 5 casino</a> | https://onlinecasinoplayusa.us.org/ - real casino slots https://onlinecasinoplayusa.us.org/ - online casino slots no download

AffemnnesAffemnnes2018/07/31 22:32betfair casino online nj <a href="https://onlinecasinounit.com/">mystic lake casino</a> san manuel casino <a href="https://onlinecasinounit.com/">hollywood online casino</a> | https://onlinecasinounit.com/ - royal river casino https://onlinecasinounit.com/ - winstar casino

DoloskaxiaSmamsDoloskaxiaSmams2018/07/31 22:34hollywood online casino <a href="https://onlinecasinogamess.us.org/">hollywood casino play4fun</a> zone online casino log in <a href="https://onlinecasinogamess.us.org/">online casino no deposit bonus</a> | https://onlinecasinogamess.us.org/ - slots for real money https://onlinecasinogamess.us.org/ - online casino real money

treateelitreateeli2018/07/31 22:36foxwoods online casino <a href="https://onlinecasinospark.com/">real money casino</a> borgata online casino <a href="https://onlinecasinospark.com/">online casinos for us players</a> | https://onlinecasinospark.com/ - mgm online casino https://onlinecasinospark.com/ - online gambling casino

neottesouffneottesouff2018/07/31 22:36free casino slots games <a href="https://onlinecasinostates.gb.net/">hollywood casino online slots</a> free online slots <a href="https://onlinecasinostates.gb.net/">free slot play no download</a> | https://onlinecasinostates.gb.net/ - best online slots https://onlinecasinostates.gb.net/ - free casino slots no download

AbebpandaffenueAbebpandaffenue2018/07/31 22:36online casino reviews <a href="https://onlinecasinogamesplay.us.org/">ignition casino</a> ignition casino <a href="https://onlinecasinogamesplay.us.org/">three rivers casino</a> | https://onlinecasinogamesplay.us.org/ - seneca niagara casino https://onlinecasinogamesplay.us.org/ - online casino reviews

aftessaniseapaftessaniseap2018/07/31 22:39free online slots no download <a href="https://casinoslotsgames.us.org/">slotomania on facebook</a> free games for casino slots hollywood <a href="https://casinoslotsgames.us.org/">free slots games online</a> | https://casinoslotsgames.us.org/ - free online slots vegas world https://casinoslotsgames.us.org/ - vegas slots free

valoNeillafvaloNeillaf2018/07/31 22:46slots for real money <a href="https://onlinecasinopalm.com/">online slot machines</a> vegas casino games <a href="https://onlinecasinopalm.com/">playmgm nj casino online</a> | https://onlinecasinopalm.com/ - winstar world casino https://onlinecasinopalm.com/ - zone online casino log in

obtaittrizvubobtaittrizvub2018/07/31 22:46diet <a href="https://yourdiet24.com/">diabetes diet</a> gluten free diet <a href="https://yourdiet24.com/">diabetes diet</a> | https://yourdiet24.com/ - dash diet https://yourdiet24.com/ - paleo diet food list

AffemnnesAffemnnes2018/07/31 22:47cabbage soup diet <a href="https://ketodietix.com/">weight watchers</a> fasting diet <a href="https://ketodietix.com/">paleo diet</a> | https://ketodietix.com/ - gluten free diet https://ketodietix.com/ - keto diet plan

verbizormesseniverbizormesseni2018/07/31 22:49bovada blackjack <a href="https://unitedonlinecasino.gb.net/">sugarhouse casino</a> doubledown casino promo codes <a href="https://unitedonlinecasino.gb.net/">vegas world casino games</a> | https://unitedonlinecasino.gb.net/ - online casino gambling https://unitedonlinecasino.gb.net/ - maryland live casino online

itesseantexiaitesseantexia2018/07/31 22:49goldfish casino slots free <a href="https://onlinecasinoslotsgames.us.org/">free slots vegas world</a> casino slots free games <a href="https://onlinecasinoslotsgames.us.org/">free slots online no download</a> | https://onlinecasinoslotsgames.us.org/ - vegas world free slots https://onlinecasinoslotsgames.us.org/ - free slots games online

aftessaniseapaftessaniseap2018/07/31 22:50slot machines <a href="https://bestonlinecasino.gb.net/">slots for real money</a> online gambling <a href="https://bestonlinecasino.gb.net/">parx casino</a> | https://bestonlinecasino.gb.net/ - zone online casino vegas world https://bestonlinecasino.gb.net/ - pala casino

lilardKedlilardKed2018/07/31 22:59weight loss motivation <a href="https://weightlosstix.com/">best weight loss program</a> weight loss clinics near me <a href="https://weightlosstix.com/">weight loss plateau</a> | https://weightlosstix.com/ - weight loss tracker https://weightlosstix.com/ - weight loss foods

siggiztewsiggiztew2018/07/31 23:03optivia weight loss <a href="https://weightlossy24.com/">weight loss smoothies</a> unexplained weight loss <a href="https://weightlossy24.com/">weight loss motivation</a> | https://weightlossy24.com/ - precious weight loss https://weightlossy24.com/ - smoothies for weight loss

itesseantexiaitesseantexia2018/07/31 23:03vegas casino games <a href="https://slotsonlinecasino.gb.net/">virgin casino online nj</a> codeshareonline doubledown casino <a href="https://slotsonlinecasino.gb.net/">online casino reviews</a> | https://slotsonlinecasino.gb.net/ - online casino real money https://slotsonlinecasino.gb.net/ - cashman casino

AerorgearemoAerorgearemo2018/07/31 23:04slots for real money <a href="https://onlinecasinobestplay.us.org/">casino games</a> online casino games <a href="https://onlinecasinobestplay.us.org/">virgin online casino nj</a> | https://onlinecasinobestplay.us.org/ - online casino real money https://onlinecasinobestplay.us.org/ - tropicana online casino nj

HigimpainavioneHigimpainavione2018/07/31 23:04prairie meadows casino <a href="https://bestonlinecasinogames.us.org/">bovada blackjack</a> betfair casino online nj <a href="https://bestonlinecasinogames.us.org/">caesars casino online</a> | https://bestonlinecasinogames.us.org/ - turning stone casino https://bestonlinecasinogames.us.org/ - vegas world casino slots

enlalmDeahenlalmDeah2018/07/31 23:04gsn casino games <a href="https://onlinecasinoxplay.us.org/">real money casino</a> hallmark casino online <a href="https://onlinecasinoxplay.us.org/">slots casino games</a> | https://onlinecasinoxplay.us.org/ - parx casino online https://onlinecasinoxplay.us.org/ - empire city casino online

JaitiaftistJaitiaftist2018/07/31 23:04free slots casino games <a href="https://onlinecasinoslotsy.us.org/">hollywood casino online slots free</a> online casino slots <a href="https://onlinecasinoslotsy.us.org/">casino slots free</a> | https://onlinecasinoslotsy.us.org/ - free slots vegas https://onlinecasinoslotsy.us.org/ - real casino slots

NolibodoEmomsNolibodoEmoms2018/07/31 23:08real money casino <a href="https://onlinecasinoflow.com/">casino play</a> casino real money <a href="https://onlinecasinoflow.com/">best online casino</a> | https://onlinecasinoflow.com/ - online casino real money https://onlinecasinoflow.com/ - parx online casino

scuppyestapiplyscuppyestapiply2018/07/31 23:21weight loss doctors near me <a href="https://weightlosseo.com/">ketogenic diet for weight loss</a> weight loss magic soup <a href="https://weightlosseo.com/">intermittent fasting for weight loss</a> | https://weightlosseo.com/ - rebel wilson weight loss https://weightlosseo.com/ - weight loss plans

romAmouchgachromAmouchgach2018/07/31 23:21meal plans for weight loss <a href="https://weightlosskeyz.com/">mama june weight loss</a> la weight loss <a href="https://weightlosskeyz.com/">medical weight loss clinic</a> | https://weightlosskeyz.com/ - weight loss tips https://weightlosskeyz.com/ - healthy recipes for weight loss

JaitiaftistJaitiaftist2018/07/31 23:22free online casino slots <a href="https://usaonlinecasino.gb.net/">gsn casino games</a> ignition casino <a href="https://usaonlinecasino.gb.net/">casino games no download no registration</a> | https://usaonlinecasino.gb.net/ - doubleu casino https://usaonlinecasino.gb.net/ - rock n cash casino slots

neottesouffneottesouff2018/07/31 23:22pechanga casino <a href="https://onlinecasinoamerica.gb.net/">gsn casino on facebook</a> play online casino <a href="https://onlinecasinoamerica.gb.net/">plainridge casino</a> | https://onlinecasinoamerica.gb.net/ - royal river casino https://onlinecasinoamerica.gb.net/ - online casinos for us players

SeediutleSeediutle2018/07/31 23:28online casino games <a href="https://onlinecasinoally.com/">gsn casino games</a> three rivers casino <a href="https://onlinecasinoally.com/">winstar world casino</a> | https://onlinecasinoally.com/ - gsn casino on facebook https://onlinecasinoally.com/ - play casino

amburseseakamburseseak2018/07/31 23:28empire city online casino <a href="https://onlinecasinoplay777.us.org/">borgata online casino</a> casino bonus <a href="https://onlinecasinoplay777.us.org/">empire city online casino</a> | https://onlinecasinoplay777.us.org/ - casino play https://onlinecasinoplay777.us.org/ - online casino slots

LokydoodoLokydoodo2018/07/31 23:28best online casinos <a href="https://onlinecasino888.us.org/">casino play</a> betfair online casino <a href="https://onlinecasino888.us.org/">casino play</a> | https://onlinecasino888.us.org/ - online gambling https://onlinecasino888.us.org/ - online casinos

BictAppotoSotBictAppotoSot2018/07/31 23:28online casino gambling <a href="https://onlinecasinousa.gb.net/">foxwoods resort casino</a> twin river online casino <a href="https://onlinecasinousa.gb.net/">slotomania slot machines</a> | https://onlinecasinousa.gb.net/ - pala casino online nj https://onlinecasinousa.gb.net/ - online gambling

VorsutleerokeVorsutleeroke2018/07/31 23:30ketogenic diet plan <a href="https://ketodietus.com/">ketogenic diet plan</a> renal diet <a href="https://ketodietus.com/">paleo diet</a> | https://ketodietus.com/ - mediterranean diet https://ketodietus.com/ - 30 day keto meal plan

verbizormesseniverbizormesseni2018/07/31 23:31free slot play <a href="https://onlinecasino777.gb.net/">play slots online</a> online slots free <a href="https://onlinecasino777.gb.net/">hollywood casino online slots</a> | https://onlinecasino777.gb.net/ - online slots real money https://onlinecasino777.gb.net/ - free online slots

TriessykafCasseTriessykafCasse2018/07/31 23:39casino play <a href="https://onlinecasinodd.com/">casino blackjack</a> online gambling casino <a href=" https://onlinecasinodd.com/">casino games</a> | https://onlinecasinodd.com/ - borgata online casino https://onlinecasinodd.com/ - online casino slots

TugaddiceneiqueTugaddiceneique2018/07/31 23:43online casino bonus <a href="https://onlinecasinobiggs.com/">casino real money</a> empire city online casino <a href=" https://onlinecasinobiggs.com/ ">online gambling</a> | https://onlinecasinobiggs.com/ - casino bonus https://onlinecasinobiggs.com/ - casino real money

gorreosseoccatogorreosseoccato2018/07/31 23:46healthy recipes for weight loss <a href="https://weightlossy24.com/">metformin for weight loss</a> optifast weight loss program <a href="https://weightlossy24.com/">topamax for weight loss</a> | https://weightlossy24.com/ - weight loss shakes https://weightlossy24.com/ - weight loss clinic

pallDiadaysibpallDiadaysib2018/07/31 23:46thrive weight loss <a href="https://weightlosskeyz.com/">weight watchers</a> weight loss meal plans <a href="https://weightlosskeyz.com/">medifast weight loss</a> | https://weightlosskeyz.com/ - smoothie recipes for weight loss https://weightlosskeyz.com/ - weight loss shakes

LumpMypeBemLumpMypeBem2018/07/31 23:49vegan diet <a href="https://ketodietstar.com/">ketosis diet</a> diet coke <a href="https://ketodietstar.com/">keto diet</a> | https://ketodietstar.com/ - keto diet https://ketodietstar.com/ - diet

SeediutleSeediutle2018/07/31 23:49apple cider vinegar diet <a href="https://ketodiet24now.com/">ketone diet</a> alkaline diet <a href="https://ketodiet24now.com/">diverticulitis diet</a> | https://ketodiet24now.com/ - renal diet https://ketodiet24now.com/ - vinegar diet

BictAppotoSotBictAppotoSot2018/07/31 23:50hollywood casino online slots <a href="https://onlinecasinoslotsplay.us.org/">hollywood casino free slots</a> best online slots <a href="https://onlinecasinoslotsplay.us.org/">free online slots no download no registration</a> | https://onlinecasinoslotsplay.us.org/ - vegas free slots online https://onlinecasinoslotsplay.us.org/ - jackpot party casino slots

VorsutleerokeVorsutleeroke2018/07/31 23:53online casinos for us players <a href="https://onlinecasinosiri.com/">online gambling sites</a> resorts online casino nj <a href="https://onlinecasinosiri.com/">chinook winds casino</a> | https://onlinecasinosiri.com/ - vegas casino games https://onlinecasinosiri.com/ - cafe casino online

AffemnnesAffemnnes2018/07/31 23:54high five casino slots <a href="https://onlinecasinounit.com/">casinos near me</a> hollywood casino online facebook <a href="https://onlinecasinounit.com/">treasure island casino minnesota</a> | https://onlinecasinounit.com/ - prairie meadows casino https://onlinecasinounit.com/ - slotomania slot machines

LumpMypeBemLumpMypeBem2018/07/31 23:56bigfish casino online games <a href="https://onlinecasinotouch.com/">gsn casino on facebook</a> san manuel casino <a href="https://onlinecasinotouch.com/">bigfish casino online games</a> | https://onlinecasinotouch.com/ - gsn casino games https://onlinecasinotouch.com/ - prairie meadows casino

neottesouffneottesouff2018/07/31 23:57slot machines <a href="https://onlinecasinostates.gb.net/">jackpot party casino slots</a> gsn casino slots <a href="https://onlinecasinostates.gb.net/">slot machines</a> | https://onlinecasinostates.gb.net/ - slots online free https://onlinecasinostates.gb.net/ - free online slots no download no registration

aftessaniseapaftessaniseap2018/07/31 23:59free slots vegas world <a href="https://casinoslotsgames.us.org/">gsn casino slots</a> vegas casino slots <a href="https://casinoslotsgames.us.org/">online slot games</a> | https://casinoslotsgames.us.org/ - free games online slots https://casinoslotsgames.us.org/ - free casino slots

AdongefAdongef2018/08/01 00:01bovada casino <a href="https://onlinecasinoplayusa.us.org/">online casino gambling</a> mystic lake casino <a href="https://onlinecasinoplayusa.us.org/">gambling games</a> | https://onlinecasinoplayusa.us.org/ - hallmark casino online https://onlinecasinoplayusa.us.org/ - casino slot

treateelitreateeli2018/08/01 00:08best online casino <a href="https://onlinecasinospark.com/">mgm online casino</a> play casino <a href="https://onlinecasinospark.com/">online casino games</a> | https://onlinecasinospark.com/ - caesars online casino https://onlinecasinospark.com/ - zone online casino

obtaittrizvubobtaittrizvub2018/08/01 00:11keto diet recipes <a href="https://yourdiet24.com/">low carb diet</a> gout diet <a href="https://yourdiet24.com/">ketosis diet</a> | https://yourdiet24.com/ - cabbage soup diet https://yourdiet24.com/ - diet pills

AffemnnesAffemnnes2018/08/01 00:11diabetes diet <a href="https://ketodietix.com/">diet</a> keto diet food list <a href="https://ketodietix.com/">ketogenic diet food list</a> | https://ketodietix.com/ - diabetes diet https://ketodietix.com/ - keto diet food list

itesseantexiaitesseantexia2018/08/01 00:11free online slots games <a href="https://onlinecasinoslotsgames.us.org/">free online slots no download</a> free penny slots <a href="https://onlinecasinoslotsgames.us.org/">online slots real money</a> | https://onlinecasinoslotsgames.us.org/ - casino games slots free https://onlinecasinoslotsgames.us.org/ - free games for casino slots hollywood

valoNeillafvaloNeillaf2018/08/01 00:12doubledown casino <a href="https://onlinecasinopalm.com/">best online casino</a> casino blackjack <a href="https://onlinecasinopalm.com/">casino games</a> | https://onlinecasinopalm.com/ - slotomania slot machines https://onlinecasinopalm.com/ - codeshareonline doubledown casino

aftessaniseapaftessaniseap2018/08/01 00:13online gambling casino <a href="https://bestonlinecasino.gb.net/">mohegan sun casino</a> gsn casino games <a href="https://bestonlinecasino.gb.net/">bovada casino</a> | https://bestonlinecasino.gb.net/ - parx online casino https://bestonlinecasino.gb.net/ - vegas casino online

lilardKedlilardKed2018/08/01 00:17smoothies for weight loss <a href="https://weightlosstix.com/">best weight loss pills</a> healthy recipes for weight loss <a href="https://weightlosstix.com/">alli weight loss pills</a> | https://weightlosstix.com/ - dogs wife beth weight loss https://weightlosstix.com/ - quick weight loss

verbizormesseniverbizormesseni2018/08/01 00:19caesars online casino <a href="https://unitedonlinecasino.gb.net/">hyper casinos</a> betfair online casino <a href="https://unitedonlinecasino.gb.net/">turning stone casino</a> | https://unitedonlinecasino.gb.net/ - prairie meadows casino https://unitedonlinecasino.gb.net/ - san manuel casino

siggiztewsiggiztew2018/08/01 00:227-day diet weight loss soup wonder soup <a href="https://weightlossy24.com/">gabourey sidibe weight loss</a> abby lee miller weight loss <a href="https://weightlossy24.com/">best weight loss pills</a> | https://weightlossy24.com/ - weight loss percentage calculator https://weightlossy24.com/ - weight loss medications

JaitiaftistJaitiaftist2018/08/01 00:22best online slots <a href="https://onlinecasinoslotsy.us.org/">best online slots</a> free slots vegas world <a href="https://onlinecasinoslotsy.us.org/">slots for free</a> | https://onlinecasinoslotsy.us.org/ - casino slots free games https://onlinecasinoslotsy.us.org/ - free slot games

itesseantexiaitesseantexia2018/08/01 00:33play online casino <a href="https://slotsonlinecasino.gb.net/">seneca niagara casino</a> hollywood casino online slots <a href="https://slotsonlinecasino.gb.net/">online casino slots no download</a> | https://slotsonlinecasino.gb.net/ - online gambling sites https://slotsonlinecasino.gb.net/ - online casino real money

AerorgearemoAerorgearemo2018/08/01 00:36sugarhouse casino online <a href="https://onlinecasinobestplay.us.org/">posh casino</a> doubleu casino <a href="https://onlinecasinobestplay.us.org/">betfair online casino</a> | https://onlinecasinobestplay.us.org/ - pechanga casino https://onlinecasinobestplay.us.org/ - winstar casino

HigimpainavioneHigimpainavione2018/08/01 00:37cherokee casino <a href="https://bestonlinecasinogames.us.org/">posh casino online</a> casinos near me <a href="https://bestonlinecasinogames.us.org/">high five casino slots</a> | https://bestonlinecasinogames.us.org/ - hollywood casino https://bestonlinecasinogames.us.org/ - high 5 casino

NolibodoEmomsNolibodoEmoms2018/08/01 00:39casino bonus <a href="https://onlinecasinoflow.com/">tropicana online casino</a> zone online casino <a href="https://onlinecasinoflow.com/">online casino slots</a> | https://onlinecasinoflow.com/ - parx online casino https://onlinecasinoflow.com/ - real casino

scuppyestapiplyscuppyestapiply2018/08/01 00:47shark tank weight loss <a href="https://weightlosseo.com/">shark tank weight loss</a> weight loss plans <a href="https://weightlosseo.com/">weight loss meal plan</a> | https://weightlosseo.com/ - protein shakes for weight loss https://weightlosseo.com/ - weight watchers

neottesouffneottesouff2018/08/01 00:49snoqualmie casino <a href="https://onlinecasinoamerica.gb.net/">online slot machines</a> caesar casino online slot games <a href="https://onlinecasinoamerica.gb.net/">winstar casino</a> | https://onlinecasinoamerica.gb.net/ - gambling sites https://onlinecasinoamerica.gb.net/ - online gambling

JaitiaftistJaitiaftist2018/08/01 00:49big fish casino <a href="https://usaonlinecasino.gb.net/">virgin online casino nj</a> jackpot party casino <a href="https://usaonlinecasino.gb.net/">zone online casino vegas world</a> | https://usaonlinecasino.gb.net/ - harrah online casino https://usaonlinecasino.gb.net/ - cafe casino online

SeediutleSeediutle2018/08/01 00:50stn play online casino <a href="https://onlinecasinoally.com/">high 5 casino</a> empire casino online <a href="https://onlinecasinoally.com/">online gambling</a> | https://onlinecasinoally.com/ - posh casino https://onlinecasinoally.com/ - fantasy springs resort casino

verbizormesseniverbizormesseni2018/08/01 00:51free slot games <a href="https://onlinecasino777.gb.net/">da vinci diamonds free online slots</a> casino slots free games <a href="https://onlinecasino777.gb.net/">real casino slots</a> | https://onlinecasino777.gb.net/ - casino slots https://onlinecasino777.gb.net/ - play free slots for fun

BictAppotoSotBictAppotoSot2018/08/01 00:52doubledown casino <a href="https://onlinecasinousa.gb.net/">big fish casino slots</a> potawatomi casino <a href="https://onlinecasinousa.gb.net/">betfair online casino</a> | https://onlinecasinousa.gb.net/ - caesars online casino https://onlinecasinousa.gb.net/ - double down casino

VorsutleerokeVorsutleeroke2018/08/01 00:53fodmap diet <a href="https://ketodietus.com/">diet plans</a> keto diet recipes <a href="https://ketodietus.com/">keto diet plan</a> | https://ketodietus.com/ - dash diet https://ketodietus.com/ - mediterranean diet

LokydoodoLokydoodo2018/08/01 01:07free online casino slots <a href="https://onlinecasino888.us.org/">online casino gambling</a> casino games <a href="https://onlinecasino888.us.org/">virgin online casino</a> | https://onlinecasino888.us.org/ - online casino bonus https://onlinecasino888.us.org/ - virgin online casino

amburseseakamburseseak2018/08/01 01:07virgin online casino <a href="https://onlinecasinoplay777.us.org/">online gambling</a> casino games <a href="https://onlinecasinoplay777.us.org/">borgata online casino</a> | https://onlinecasinoplay777.us.org/ - real money casino https://onlinecasinoplay777.us.org/ - foxwoods online casino

gorreosseoccatogorreosseoccato2018/08/01 01:09low calorie recipes for weight loss <a href="https://weightlossy24.com/">dr oz weight loss</a> weight loss smoothie recipes <a href="https://weightlossy24.com/">weight watchers</a> | https://weightlossy24.com/ - best weight loss pills https://weightlossy24.com/ - weight loss

BictAppotoSotBictAppotoSot2018/08/01 01:10vegas casino slots <a href="https://onlinecasinoslotsplay.us.org/">play slots</a> free video slots <a href="https://onlinecasinoslotsplay.us.org/">free slots no download</a> | https://onlinecasinoslotsplay.us.org/ - slot games free https://onlinecasinoslotsplay.us.org/ - vegas free slots

SeediutleSeediutle2018/08/01 01:13dukan diet <a href="https://ketodiet24now.com/">diet plans</a> atkins diet first 14 days <a href="https://ketodiet24now.com/">keto diet recipes</a> | https://ketodiet24now.com/ - keto diet recipes https://ketodiet24now.com/ - military diet

LumpMypeBemLumpMypeBem2018/08/01 01:13diet coke <a href="https://ketodietstar.com/">gout diet</a> whole 30 diet <a href="https://ketodietstar.com/">military diet</a> | https://ketodietstar.com/ - alkaline diet https://ketodietstar.com/ - mayo clinic diet

TriessykafCasseTriessykafCasse2018/08/01 01:13online casino bonus <a href="https://onlinecasinodd.com/">zone online casino</a> online casino sites <a href=" https://onlinecasinodd.com/">slots for real money</a> | https://onlinecasinodd.com/ - free online casino https://onlinecasinodd.com/ - online casinos for us players

VorsutleerokeVorsutleeroke2018/08/01 01:16slots for real money <a href="https://onlinecasinosiri.com/">doubleu casino on facebook</a> gambling sites <a href="https://onlinecasinosiri.com/">casino games no download no registration</a> | https://onlinecasinosiri.com/ - usa online casino https://onlinecasinosiri.com/ - royal river casino

AffemnnesAffemnnes2018/08/01 01:16vegas casino games <a href="https://onlinecasinounit.com/">online gambling casino</a> hollywood casino <a href="https://onlinecasinounit.com/">casino game</a> | https://onlinecasinounit.com/ - penny slots https://onlinecasinounit.com/ - real money casino

aftessaniseapaftessaniseap2018/08/01 01:18free slot play <a href="https://casinoslotsgames.us.org/">free online slots no download no registration</a> free slots vegas world <a href="https://casinoslotsgames.us.org/">slot machine games free</a> | https://casinoslotsgames.us.org/ - vegas free slots https://casinoslotsgames.us.org/ - free online slots vegas world

LumpMypeBemLumpMypeBem2018/08/01 01:18plainridge casino <a href="https://onlinecasinotouch.com/">real casino slots on facebook</a> muckleshoot casino <a href="https://onlinecasinotouch.com/">big fish casino</a> | https://onlinecasinotouch.com/ - mohegan sun casino https://onlinecasinotouch.com/ - pala casino online

AdongefAdongef2018/08/01 01:29zone online casino log in <a href="https://onlinecasinoplayusa.us.org/">fantasy springs resort casino</a> doubledown casino promo codes <a href="https://onlinecasinoplayusa.us.org/">turning stone casino</a> | https://onlinecasinoplayusa.us.org/ - big fish casino https://onlinecasinoplayusa.us.org/ - betfair casino online nj

DoloskaxiaSmamsDoloskaxiaSmams2018/08/01 01:30pechanga casino <a href="https://onlinecasinogamess.us.org/">online casino games</a> bonus casino <a href="https://onlinecasinogamess.us.org/">huuuge casino</a> | https://onlinecasinogamess.us.org/ - online casinos for us players https://onlinecasinogamess.us.org/ - casino game

itesseantexiaitesseantexia2018/08/01 01:33hollywood casino online slots <a href="https://onlinecasinoslotsgames.us.org/">free casino slots no download</a> casino slots free games <a href="https://onlinecasinoslotsgames.us.org/">free slots online</a> | https://onlinecasinoslotsgames.us.org/ - casino slots https://onlinecasinoslotsgames.us.org/ - free slot play

AbebpandaffenueAbebpandaffenue2018/08/01 01:33online casino slots <a href="https://onlinecasinogamesplay.us.org/">soaring eagle casino</a> jackpot party casino <a href="https://onlinecasinogamesplay.us.org/">mgm online casino</a> | https://onlinecasinogamesplay.us.org/ - slots for real money https://onlinecasinogamesplay.us.org/ - paradise casino

obtaittrizvubobtaittrizvub2018/08/01 01:35fasting diet <a href="https://yourdiet24.com/">ketosis diet</a> whole 30 diet <a href="https://yourdiet24.com/">vinegar diet</a> | https://yourdiet24.com/ - mediterranean diet plan https://yourdiet24.com/ - ketogenic diet food list

aftessaniseapaftessaniseap2018/08/01 01:38gambling games <a href="https://bestonlinecasino.gb.net/">usa online casino</a> vegas world casino games <a href="https://bestonlinecasino.gb.net/">cafe casino online</a> | https://bestonlinecasino.gb.net/ - sugarhouse casino https://bestonlinecasino.gb.net/ - jackpot party casino facebook

treateelitreateeli2018/08/01 01:39casino blackjack <a href="https://onlinecasinospark.com/">empire city online casino</a> casino bonus <a href="https://onlinecasinospark.com/">real casino</a> | https://onlinecasinospark.com/ - borgata online casino https://onlinecasinospark.com/ - online casino sites

valoNeillafvaloNeillaf2018/08/01 01:39empire city casino online <a href="https://onlinecasinopalm.com/">online casinos for us players</a> usa online casino <a href="https://onlinecasinopalm.com/">mgm online casino</a> | https://onlinecasinopalm.com/ - zone online casino vegas world https://onlinecasinopalm.com/ - casinos online

obtaittrizvubobtaittrizvub2018/08/01 01:39vegas casino games <a href="https://onlinecasinoassist.com/">empire casino online</a> big fish casino <a href="https://onlinecasinoassist.com/">foxwoods casino</a> | https://onlinecasinoassist.com/ - online casino reviews https://onlinecasinoassist.com/ - bovada casino

siggiztewsiggiztew2018/08/01 01:42dogs wife beth weight loss <a href="https://weightlossy24.com/">medi weight loss clinic</a> quick weight loss center <a href="https://weightlossy24.com/">weight loss drugs</a> | https://weightlossy24.com/ - weight loss medications https://weightlossy24.com/ - juicing for weight loss

JaitiaftistJaitiaftist2018/08/01 01:43vegas slots free <a href="https://onlinecasinoslotsy.us.org/">casino slots</a> free slot games with no download <a href="https://onlinecasinoslotsy.us.org/">vegas free slots online</a> | https://onlinecasinoslotsy.us.org/ - online casino slots https://onlinecasinoslotsy.us.org/ - slot games

verbizormesseniverbizormesseni2018/08/01 01:48ignition casino <a href="https://unitedonlinecasino.gb.net/">doubledown casino facebook</a> gsn casino on facebook <a href="https://unitedonlinecasino.gb.net/">casino play</a> | https://unitedonlinecasino.gb.net/ - morongo casino https://unitedonlinecasino.gb.net/ - online casino sites

enlalmDeahenlalmDeah2018/08/01 02:08slots casino games <a href="https://onlinecasinoxplay.us.org/">ilani casino</a> online casino bonus <a href="https://onlinecasinoxplay.us.org/">snoqualmie casino</a> | https://onlinecasinoxplay.us.org/ - grand falls casino https://onlinecasinoxplay.us.org/ - online casinos

2012-06-07

最近のミニバッファでの大文字・小文字の区別の話

| 01:47 | 最近のミニバッファでの大文字・小文字の区別の話 - poginの日記 を含むブックマーク はてなブックマーク - 最近のミニバッファでの大文字・小文字の区別の話 - poginの日記 最近のミニバッファでの大文字・小文字の区別の話 - poginの日記 のブックマークコメント

Arch Linux上でEmacsを使ってて、困ったことがあった。ミニバッファで大文字・小文字の区別をするようになっていてファイルパスの補完がうまくいかない。

検索したら

(setq completion-ignore-case t)

で大文字・小文字の区別をしないようになるはずなんだけど、やっぱりうまくいかない。

更に検索してみると23.1から、このやり方は古い設定の仕方になったらしい。

新しいやり方は

(setq read-buffer-completion-ignore-case t)
(setq read-file-name-completion-ignore-case t)

でちゃんと区別なしで補完されるようになる。

大文字・小文字を区別したりするこんな状態をcase sensitiveっていうらしい。区別しない状態はcase insensitive。ちょっと豆知識。

参考サイト

Life Is Too Short For Bad Code: Emacs Tip #32: completion-ignore-case and Emacs 23

Completion Options - GNU Emacs Manual

File Not Found

2011-10-05

fboundpとboundpの違い

| 02:59 | fboundpとboundpの違い - poginの日記 を含むブックマーク はてなブックマーク - fboundpとboundpの違い - poginの日記 fboundpとboundpの違い - poginの日記 のブックマークコメント

Emacsで fboundp と boundp という関数があるのだけれど、一体何の違いがあるかがよくわからなかった。調べてみるとなんかわかった気がするのでメモしておく。

使い方

fboundpはシンボルが関数として束縛があるかどうか。束縛されている場合は t を返し、そうでない場合 nil を返す。

(fboundp 'foo)
;=> nil
(defun foo ()
  nil)
;=> foo
(fboundp 'foo)
;=> t

boundpはシンボルが変数として束縛されているかどうか。束縛されている場合 t を返し、そう出会い場合 nil を返す。

(boundp 'bar)
;=> nil
(setq bar 1)
;=> bar
(boundp 'bar)
;=> t

例1、elscreen-modeがある場合とない場合の処理を書きたい場合

(defun func-hoge ()
  (if (fboundp 'elscreen-mode)
      (insert "tです\n")     ;; 束縛されている場合の何かの処理    then節
    (insert "nilです\n"))    ;; 束縛されていない場合の何かの処理  else節
  )
(func-hoge)
;=> tです
; nil

(defun func-arg-hoge (func)
  (if (fboundp (eval 'func))
      (insert "tです\n")
    (insert "nilです\n")))
(func-arg-hoge 'elscreen-mode)
;=> tです
; nil

例2、変数が束縛されているか、いないかの処理を書き分けたい場合

(setq piyo "piyo")

(defun var-piyo ()
  (if (boundp 'piyo)
      (insert "tです\n")     ;; 束縛されている場合の何かの処理    then節
    (insert "nilです\n"))    ;; 束縛されていない場合の何かの処理  else節
  )
(var-piyo)
;=> tです
; nil
(defun var-arg-piyo (var)
  (if (boundp (eval 'var))
      (insert "tです\n")
    (insert "nilです\n")))
(var-arg-hoge 'piyo)
;=> tです
; nil

詳細

シンボルには4つのセルというものを持っている。

表示名セルシンボルの名前(文字列)
値セル変数の値
関数セル関数定義
属性リストセル属性リスト

この内、fboundpは関数セルの束縛状態を返し

boundpは値セルの束縛状態を返す。

7.1 シンボルの構成要素

関数が定義されていない場合、そのシンボルの関数セルは空(void)である。

変数が定義されていない場合、そのシンボルの値セルは空(void)である。

定義されていない関数を評価した場合

(func-hoge) 
;=> Lisp error: (void-function func-hoge)

定義されていない変数を評価した場合

var-hoge
;=> Lisp error: (void-variable var-hoge)

とこのようになる。

関数や変数を定義するためには束縛をしなければ使うことができない。

関数を束縛するためには例えばこのように定義する。

;; 関数の定義
(defun func-hoge ()
  "define func-hoge")
;=> func-hoge

(func-hoge)
;=> "define func"

変数を束縛するにはsetq、defvar、defconstなどを使う。

;; 変数の定義
(setq hoge 1)
;=> 1
hoge
;=> 1

(setf piyo 2)
;=> 2
piyo
;=> 2


(defvar foo 3)
;=> foo
foo
;=> 3

(defconst bar 4)
;=> bar
bar
;=> 4

感想

今までEmacsの仕様をここまでちゃんと調べることがなかったのでいい機会になった。

Lispで扱うものはシンボルというものだったのをすっかり忘れた。

この話題について書こうと思って書いたらかなりの時間を使ってしまったのが痛いorz。もっと速く書けるようになりたいもんだなぁと思う。でもちゃんと記事を完成させたので一歩前進だなと。

参考リンク

@see 500 Internal Server Error

@see 500 Internal Server Error

@see 5.3.4 fboundp

@see 10.4 変数が『空』であるとき

@see 11.8 関数セルの内容の参照

@see 7.1 シンボルの構成要素

@see 11.3 関数を命名する

>>>> 2012/1/25 fboundpとboundpの例で、nilの場合のコードがなかったので追加

>>>> 2012/3/9 関数、変数の定義の仕方のコードを追加

MiriamMiriam2012/02/20 00:05THX that's a great aswner!

ToshikazuToshikazu2013/12/21 18:25It's much easier to unsrtdeand when you put it that way!

AnderAnder2013/12/23 01:32Kewl you should come up with that. <a href="http://jfnzvlxjlwb.com">Exeellcnt!</a>

DennissciekDennissciek2019/05/07 03:31
Реклоузер 6-10кв, КТП КОМПЛЕКТНЫЕ ТРАНСФОРМАТОРНЫЕ ПОДСТАНЦИИ москва, Производство ктп москва, а также многое другое на нашем специализированном сайте: http://sviloguzov.ru/ - Здесь есть то, что Вам нужно!

FerminSwoftFerminSwoft2019/05/12 06:55
Пункт секционирования столбовой псс-10 реклоузер, Ктп комплектные трансформаторные подстанции москва, Производство ктп москва и др. на нашем специализированном сайте: - Заходите!https://vk.com/club111724259

RaymondGotRaymondGot2019/05/13 04:02
<a href=https://www.youtube.com/watch?v=6oMK4jv2V5I&list=PLnzw9EuFoSBmLO4djI4GCHKBjaGqjKOcS&t=0s&index=7>трансформаторная подстанция 10 0.4</a>