2017-02-04から1日間の記事一覧

Gazeboで外部モデルロード時の設定

はじめに gazeboのworldにオブジェクトを追加する際,osrfのモデルレポジトリから引っ張ってきますが,初期ロード時にダウンロードしてキャッシュするため時間がかかります. そこで,予めレポジトリをローカルにcloneしてそこを指定するようにします[1]. …

;(function(document){ var pres = document.getElementsByTagName("pre") for(var i=pres.length; i--; ){  var el = makeOl(pres[i]) pres[i].appendChild(el) } function makeOl(pre){ if (pre.className.indexOf("gist") !== -1) { return } var ol = document.createElement("ol") , li = document.createElement("li") , df = document.createDocumentFragment() , br = pre.innerHTML.match(/\n/g) || 0 ol.className = "preLine" ol.setAttribute("role", "presentation") // no lang, no line-number if( pre.className && ! /lang-./.test(pre.className) ){ br.length += 1 } for(var i=br.length; i--; ){ var li2 = li.cloneNode(true) df.appendChild(li2) } ol.appendChild(df) return ol } })(document)