― MozillaZine.jp フォーラムは Mozilla 製品に関する情報交換の場です ―



All times are UTC + 9 hours

返信する
ユーザー名:
件名:
オプション:
BBCode: ON
[img]: ON
[flash]: OFF
[url]: ON
スマイリー: ON
BBCode を無効にする
フォントサイズ:
フォントカラー
スマイリーを無効にする
URL を自動的にパースしない
ユーザエージェントを表示する
認証コード
KCaptcha by Nikita_Sp
   

トピックのレビュー - プロファイル切り替え用デスクトップツール
作成者 メッセージ
  記事の件名:  Re: プロファイル切り替え用デスクトップツール  引用付きで返信する
aies さん、
残念ながらLaunchy はLinux Mint 17向けFirefox最新版(34.0)には非対応のようです。
現状、ワークスペースごとにブックマークツールバーに目的別にブックマークを登録することで「良し」とします。

ありがとうございました。
投稿記事 Posted: 2015年1月09日(金) 10:40
  記事の件名:  Re: プロファイル切り替え用デスクトップツール  引用付きで返信する
Linuxで動くかは不明ですが、以下のアドオンを何方か(または双方に)のprofileのFirefoxで導入しては?

* Launchy :: Add-ons for Firefox

「launchy.xml」の書き方は以下。
(予め「chrome」フォルダを作成し、aunchy.xmlを此のフォルダに保存します。)

<?xml version="1.0" encoding="UTF-8"?>
<configurations xmlns="http://launchy.mozdev.org/configurations">

<application>
<label>Aurora</label>
<type>1</type>
<command>Firefoxのプログラム本体へのパス</command>
<arguments>-no-remote -P profile名(仕事用にでも)</arguments>
</application>

<application>
<label>Aurora</label>
<type>1</type>
<command>Firefoxのプログラム本体へのパス</command>
<arguments>-no-remote -P profile名(趣味専用にでも)</arguments>
</application>


</configurations>

全くの無関係だったら無視して下さい。
投稿記事 Posted: 2015年1月08日(木) 03:24
  記事の件名:  Re: プロファイル切り替え用デスクトップツール  引用付きで返信する
せっかくのすが私はハードルが高いです。
ブックマークバーに遊び用のフォルダを作り、登録したブックマークを「タブですべて開く」を行うことで間に合わせることとします。
ご助言は良いヒントになったのでもうちょっと勉強してみます。
投稿記事 Posted: 2015年1月07日(水) 21:26
  記事の件名:  Re: プロファイル切り替え用デスクトップツール  引用付きで返信する
LinuxMint の GUI の事情は分かりませんが、コマンドをランチャーに登録するとか、
またはシェルスクリプトをデスクトップ等簡単にアクセスできる場所に置いておくとか
端末にコマンドを入力する事無くプロファイル指定で Firefox を起動する方法はいくつかあるかと思います。

また xdotool コマンドによって現在のワークスペースを取得する事が可能なので、
これによって使用するプロファイルを切り替えるようなスクリプトを組めば、単一の起動方法で現在のワークスペースに
あったプロファイルで Firefox を起動できそうです。
http://manpages.ubuntu.com/manpages/uto ... ool.1.html
コード:
$ xdotool get_desktop
1


直接的な起動以外、たとえば他のアプリケーションからブラウザを起動する場合等にも対応するには、
ワークスペースによってプロファイル指定で Firefox を起動するシェルスクリプトを
ウェブブラウザのデフォルトアプリケーションとして登録する、等が考えられます。

いずれも使用しているディストリビューション (LinuxMint) やデスクトップ環境 (Cinnamon, MATE, 他) によって
操作やコマンドに多少の差異は存在するかと思いますので、sekko さんの環境に合わせて読み替えてください。
投稿記事 Posted: 2015年1月07日(水) 14:29
  記事の件名:  プロファイル切り替え用デスクトップツール  引用付きで返信する
Linux Mint 17.1 を利用している初心者です。
Firefox利用の際、ワークスペースを切り替え、一方は仕事関係の調べ事、もう一方は趣味のプロファイルにしたいです。

"firefox -p"を利用してそれぞれのプロファイルを作りましたが、プロファイルを切換える端末からでは手間です。
ワークスペース切り替えと連動して Firefox のプロファイルが切り替わってくれるのが理想ですが、プロファイル切り替え用のデスクトップ・ツールがあれば便利になります。
ご紹介いただけると有りがたいです。
投稿記事 Posted: 2015年1月07日(水) 13:18

All times are UTC + 9 hours


ページ移動:  
Powered by MozillaZine.jp® Forum Software © phpBB Group , Almsamim WYSIWYG
Japanese translation principally by ocean