X



トップページLinux
1002コメント304KB
Debian GNU/Linux スレッド89
レス数が900を超えています。1000を超えると表示できなくなるよ。
0001login:Penguin
垢版 |
2018/03/28(水) 00:44:09.37ID:taWewgq+
公式
https://www.debian.org/index.ja.html

過去ログは各自検索して見つけること
大体参考にならないので過度な期待は禁物

Debian のよくある質問や関連サイトはこちら (namazuTamer 氏提供)
スレ立て時のテンプレも以下にあります。
http://debian.dtdns.net/

関連スレ
Debian GNU/kFreeBSD
http://mevius.2ch.net/test/read.cgi/unix/1131675435/

前スレ
Debian GNU/Linux スレッド Ver.87
http://mao.2ch.net/test/read.cgi/linux/1498550570/
Debian GNU/Linux スレッド Ver.88
http://mao.5ch.net/test/read.cgi/linux/1506954668/
0842login:Penguin
垢版 |
2018/09/20(木) 02:42:03.27ID:9247+F1F
>>841
jessie より前は aptitude 推奨
jessie から stretch へのアップグレードは apt-get upgrade 推奨
stretch からは apt 推奨
って事?
0844login:Penguin
垢版 |
2018/09/20(木) 03:08:19.31ID:rdTIla66
aptitudeは勝手にauto removeするゴミ仕様だから推奨されなくなるのは当然
間違えてフォント関係のファイルを削除する事が結構ある

>>843
カビの生えた状態になっても
メンテ予定のないようなスクリプトならapt-getしか使えないねという話
ちゃんと前後の文章まで読みな
0845login:Penguin
垢版 |
2018/09/20(木) 03:38:20.28ID:8ZzZhh2Y
aptitudeにfontconfig弄られてUnifontが最優先になってからはもう信じてません
0846login:Penguin
垢版 |
2018/09/20(木) 09:57:02.51ID:9247+F1F
ウインドウの最小最大クローズを行うボタンが上部にありますが、クローズボタンを削除したいんです
いままでは、dconfエディタで変更できたんですが、同じことをやっても消えてくれません。
gnome-tweak-toolでも変えられないし、gsettingsでもダメでした

デビアン9.3で、gdm3.22です。

おわかりの方いたら、教えてください
0847login:Penguin
垢版 |
2018/09/20(木) 11:48:48.66ID:I7UuxS7v
debianと関係ない話題は…
0848login:Penguin
垢版 |
2018/09/20(木) 15:53:19.65ID:MZk1xOzU
>>846
いまも通用するのかわらないけど、以前、テーマのindex.themeをいじってレイアウトを変えた気がする
こんな感じの表記のやつ
[X-GNOME-Metatheme]
ButtonLayout=menu:minimize,maximize,close

だめだったらごめんなさい
0849login:Penguin
垢版 |
2018/09/20(木) 20:01:17.32ID:z5y2Il7M
>>844
結構っていう頻度だと単に依存先が消えたからなんじゃ?
0850login:Penguin
垢版 |
2018/09/20(木) 20:14:17.56ID:tA4S6GwJ
クリーンインストールのハードルはlinuxのほうが低いけど、クリーンインストール自体がハードル高いからな。
0852login:Penguin
垢版 |
2018/09/20(木) 20:45:39.57ID:T+hUJAY5
そりゃプリインストールだろw
0853login:Penguin
垢版 |
2018/09/20(木) 20:59:01.79ID:IkbzQkM7
昔Ubuntu10.04プリインストールのノートPCが売ってたなぁ
その頃のUbuntuは更新更新うるさいわりに毎回失敗するくそ程度にしか思ってなかったし買わなかったけど
0854login:Penguin
垢版 |
2018/09/20(木) 21:10:03.47ID:aBcj63PO
最近のgsの更新でxdvik-jaでepsが表示されなくなった
9.20~dfsg-3.2+deb9u2は大丈夫だけどそれより新しいのはダメ
他にもemacsのdoc-viewでpdfによっては表示されなくなったり
最近のgsの更新は手荒いな
0855login:Penguin
垢版 |
2018/09/20(木) 21:22:55.67ID:tA4S6GwJ
>>850
自レスですまんが他レスへ書き込もうとした誤爆だったすまん。
0856login:Penguin
垢版 |
2018/09/21(金) 01:24:17.96ID:zB/in7Fb
>>842
「jessie より前は aptitude 推奨」っていうのは違うけど、
あとはだいたい合ってるんじゃない?
0857login:Penguin
垢版 |
2018/09/21(金) 19:01:05.43ID:mjC4bU5c
aptはかつてのaptitudeみたいに不要になったパッケージを列挙してくれてapt-get autoremoveで削除可能だと教えてくれる。
それは便利なのだけれど、lxdeを削除してウィンドウ・マネージャだけにしようとしたら、
xorg xsane xsane-common xscreensaver xscreensaver-data
まで「もう必要としていません」と言ってくるのでautoremoveしたくてもするのが怖いw
0858857
垢版 |
2018/09/21(金) 19:04:29.59ID:mjC4bU5c
ごめん。間違えた。スクリーンセイバーは要らなかった。
xorg alsa-base alsamixergui
でもこいつらは必要なのに。
いったんautoremoveしたあとにもう一度手動でインストールしてやればいいのか。
やってみる。
0859login:Penguin
垢版 |
2018/09/21(金) 19:16:36.29ID:77XaBeVe
apt-getとaptだとautoremoveとautocleanの挙動違うのだろうか
0860login:Penguin
垢版 |
2018/09/21(金) 19:19:04.23ID:jCrSX7NM
多分明示的にインストールしていないからだと思うよ。
0861login:Penguin
垢版 |
2018/09/21(金) 19:24:07.75ID:xR8Goa5S
>>858
$ echo xorg hold | dpkg –set-selections
とでもしておけば?
0862login:Penguin
垢版 |
2018/09/21(金) 19:26:49.52ID:a12nAPrJ
そんな面倒なことしなくてもautoremoveされたくないパッケージをapt installすればいいだけよ
0863login:Penguin
垢版 |
2018/09/21(金) 19:59:56.20ID:O9hqcwBy
apt-mark manual xorg でいいだろ
0864login:Penguin
垢版 |
2018/09/21(金) 20:19:26.88ID:zPLCFa1O
削除なんかせずにopenboxでログインすりゃいいだろ
0865login:Penguin
垢版 |
2018/09/21(金) 20:54:50.21ID:QZ0DN9Ey
クソッ、何度他のディストリニ移行しても
重力のようにDebian sidに戻ってしまう
安定感とカスタマイズ性のバランスがあまりにも良すぎる
0866login:Penguin
垢版 |
2018/09/21(金) 20:57:18.86ID:a12nAPrJ
ゲーム部フジテレビやんけ
0868login:Penguin
垢版 |
2018/09/21(金) 22:51:15.31ID:hsTSF1vE
apt search somepkg
とかしたときにパッケージ名の横に[インストール済み、自動]とか出るけどあれの「自動」とかってもしかして
autoremoveとかに影響するのか。
0869login:Penguin
垢版 |
2018/09/22(土) 00:12:46.83ID:442TB8TV
auto は、パッケージを自動的にインストールしたとしてマークします。こ
のパッケージに依存する、手動でインストールされたパッケージがなくな
ると、このパッケージを削除します。

manual は、パッケージを手動でインストールしたとしてマークします。こ
のパッケージに依存する他のパッケージがなくなっても、このパッケージ
を自動的に削除するのを防ぎます

hold は、パッケージが自動的にインストール・アップグレード・削除が行
われないよう、パッケージに保留マークをつけるのに使用します。このコ
マンドは dpkg --set-selections のラッパーに過ぎず、そのため状態は
dpkg(1) により管理され、--file オプションは効果がありません。

man apt-markにしっかり載ってた
autoremoveでの道連れ防ぐだけならmanualで手動インスコ扱いにする方がいいのか
0870login:Penguin
垢版 |
2018/09/22(土) 01:31:10.81ID:QYECnveb
autoremoveなんてよほど容量が逼迫している場合を除いて使うべきではないよ
0871login:Penguin
垢版 |
2018/09/22(土) 03:46:52.55ID:LkB5LD9Y
パッケをアンインスコするときはいつも
apt --purge autoremove つかってるけどへいき
0872login:Penguin
垢版 |
2018/09/22(土) 05:08:33.09ID:ABxopdhL
これが小学生のおっぱいかよ・・・
12歳の乳とは思えんな・・・
0873login:Penguin
垢版 |
2018/09/22(土) 05:32:28.16ID:cAn5ycUh
おまわりさんこの人です
0874login:Penguin
垢版 |
2018/09/22(土) 07:31:07.95ID:t/hhuG6a
aptよりもaptitudeのほうが優秀だったな。
aptは依存関係でインストールしたものをごっそり不要だと言うだけ。
0875login:Penguin
垢版 |
2018/09/22(土) 15:51:04.05ID:KCqx+ZSH
aptitudeはsearch結果が1行かつ行頭にiとかpとかついてくれるのがいいんだけど、他のaptやapt-cache seachで同じことできる?
0876login:Penguin
垢版 |
2018/09/22(土) 16:31:26.95ID:+ytVWaWn
Debianスレでapt祭りやるのは遠慮してほしい

年間3回くらいやってるだろ せめて1回にしてほしい
0877login:Penguin
垢版 |
2018/09/22(土) 18:37:03.67ID:13p5z0gO
昔、碓氷峠を越えるのにアプト式機関車が使われていたんだよ
ただし綴りはAbt 。ドイツ語らしい
0878login:Penguin
垢版 |
2018/09/22(土) 21:18:01.10ID:+Jh+72go
邦人で最強のアプトゲッターって誰よ?
0879login:Penguin
垢版 |
2018/09/23(日) 04:44:00.95ID:pqvRAb/8
パッケージがどのタイミングでインストールされたか分かるコマンドとかある?
ログファイルから検索するしかないのかな。
0880login:Penguin
垢版 |
2018/09/23(日) 11:39:59.35ID:zAJ4Y0zx
それはpacmanにしか存在しない機能だな
0881login:Penguin
垢版 |
2018/09/23(日) 14:16:11.89ID:Z3eOKk+q
apt rdependsで対象がどれに含まれてるかを調べる程度かな
apt rdepends leafpadってやるとleafpadがlxdeやlubuntuの付属品って分かるから
0882login:Penguin
垢版 |
2018/09/23(日) 14:56:55.09ID:pOgoSS6C
>>879
1行の専用コマンドを使うのも、
1行のgrepでログの中の当該パッケージがインストールされた日時をみるのも、
大して変わらないと思うが。
0883login:Penguin
垢版 |
2018/09/24(月) 01:04:49.36ID:U0xjikYq
たいして差なくても先ずクレクレするのが5chに来るLinuxユーザーだからな
0884login:Penguin
垢版 |
2018/09/24(月) 10:34:25.51ID:NNjQ9DTE
>>883
昔からよく言われてるけどそういう物言いがLinuxの普及を阻害する要因じゃないの?
クレクレがキライなスルーすればいいことだし。上から目線したいがためにここに来てるの?
0885login:Penguin
垢版 |
2018/09/24(月) 10:46:43.32ID:aHJFPcK2
>>884
>そういう物言いがLinuxの普及を阻害する要因じゃないの?
でも事実だからなあ
それが阻害になってるなら普及って無理芸なのかも
と言うかクレクレ君相手に普及しても意味ないっしょ
厄介抱え込んで良いことなしだ
0886login:Penguin
垢版 |
2018/09/24(月) 11:56:57.91ID:BnwkVomy
クレクレというよりも細かいところにこだわってる俺セカチューみたいな奴はウザい
0887login:Penguin
垢版 |
2018/09/24(月) 12:11:34.74ID:7rtsY+jk
「嫌いならスルーすればいい」って言動が一番上から目線なんだよなあ
0888login:Penguin
垢版 |
2018/09/24(月) 12:28:03.85ID:Ni99OwHs
>>884
普及とか臭い

Linux界隈で普及を論じてる人って見ない
大抵がソースコードの良し悪しに関わるもので普及どうこうなんて云わない
普及関係なしに質問者への回答はそこかしこで行われてる

なにがしかの目論見があって普及どうこうへ論点誘導してるんじゃなかろか
0889login:Penguin
垢版 |
2018/09/24(月) 13:30:02.65ID:BnwkVomy
どちらにしろ板全体に質問を燃料にした釣り師が一匹いるからな
それが回答者とのマッチポンプかどうかはともかく
0890login:Penguin
垢版 |
2018/09/24(月) 15:58:49.37ID:2Eu+gWMk
>>888
>大抵がソースコードの良し悪しに関わるもので
Linux板の連中だとソースコードあってもわかんねが大多数だろうからな
Linux板では自分でそれなりのコード書いている奴が少数派だろし
0891login:Penguin
垢版 |
2018/09/24(月) 16:59:48.51ID:npQoku2H
sid派だったけどarchを試してみたら快適過ぎて揺れる・・・
メインのDebianの環境をほぼ再現してもインストール済のパッケージ数が800未満で
どんだけ使っていないパッケージが入っていたのかという気分
しかもstableなのにsidよりもパッケージ落ちてくるのが早いというね
0892login:Penguin
垢版 |
2018/09/24(月) 17:12:06.84ID:Ihtq2SnN
パッケージ数だけ比較しても意味なくね?
Archは割と1パッケージにまとめてある事が多いけどDebianはfoo-core foo-data foo-binみたいに同じものが細かく別れてたりするし
0893login:Penguin
垢版 |
2018/09/24(月) 17:17:03.17ID:sW0f5g9u
システムの容量で比べれば?
0894login:Penguin
垢版 |
2018/09/24(月) 19:17:58.93ID:BnwkVomy
archは無駄なもの削る作業がほぼ皆無だがdeb系で無駄なもの削る作業も5分くらいでしょうに
0895login:Penguin
垢版 |
2018/09/24(月) 20:00:44.74ID:GmO6y9wP
>>891
arch使ってたことはあるけど今はdebianだよ
能書きは数ヶ月使ってからにしよう
インストールしただけで言われてもさ
0896login:Penguin
垢版 |
2018/09/24(月) 20:13:19.59ID:s32DjkHc
>>895
そうします
ちなみにArchと比較してやっぱりDebianに戻ったキッカケというか理由というのを
参考までに聞かせて頂けないでしょうか
0897login:Penguin
垢版 |
2018/09/24(月) 20:23:47.41ID:GmO6y9wP
そんなの聞いてどうすんの
いいと思った方を使いなよ
戻ったとして無駄ではないはず
0898login:Penguin
垢版 |
2018/09/24(月) 21:28:47.48ID:s32DjkHc
手遅れです
真に受けてArch削除してDebianのクリーンインストール作業を始めてしまいました
0899login:Penguin
垢版 |
2018/09/24(月) 21:47:00.63ID:2GXl4fEm
インストール厨を卒業してからが本番
0900login:Penguin
垢版 |
2018/09/24(月) 21:51:41.87ID:cy9FqoG2
今arch褒めたらarch入れ直しそう
0901login:Penguin
垢版 |
2018/09/24(月) 22:14:07.90ID:zQJ+8a+1
Archは,インストール直後はどんなディストリよりも綺麗に見えるんだけど
一度パッケージを入れたりバージョン戻したりしだすとね……。
俺の管理が悪いだけかもしれんが,少なくともDebianではそんなことにはなってないんで
やっぱりapt/dpkgは安心だなぁとは思うよ。
0902login:Penguin
垢版 |
2018/09/24(月) 22:27:06.49ID:2GXl4fEm
何かあったらarch wikiに助けてもらったりするけど
情報が充実してるってことは大変なんかなぁと感じてる
0903login:Penguin
垢版 |
2018/09/24(月) 22:47:07.37ID:FI/wtJwJ
サブの方にArch入れてたけど数ヶ月くらいアップデート放置してたら依存関係がメチャクチャになってどうしようも無くなってたので消した
0904login:Penguin
垢版 |
2018/09/24(月) 22:57:53.40ID:nAFatTW1
pacman -Syu すると壊れる事あるよね、何なのあれ?
0905login:Penguin
垢版 |
2018/09/24(月) 23:07:18.30ID:sW0f5g9u
archは毎日アップデートして使って。
0906login:Penguin
垢版 |
2018/09/25(火) 01:34:08.47ID:dAo7K5rn
>>898
こんな時間に笑っちまったわクソw
0907login:Penguin
垢版 |
2018/09/25(火) 03:54:26.47ID:UFvyJpJ1
manjaroばかりだけどantergosってどうなの
違いはリポジトリくらいらしいからMintとLMDEみたいなもんだろうけど
0908login:Penguin
垢版 |
2018/09/25(火) 04:10:56.11ID:kcrQ1P02
該当スレで訊けば
ここDebianスレだから他所いけよ
0909login:Penguin
垢版 |
2018/09/25(火) 19:46:16.21ID:h421gDE4
ここにあるmozcのUT2辞書の組み込み版をコンパイルして使いたいのですが
https://osdn.net/users/sicklylife/pf/mozc_ut_for_ubuntu/files/?id=11381
Debianでコンパイルしようとすると
途中でエラーを吐いてコンパイルが成功しません。
どなたかDebianでの子コンパイルに成功なさった方はいらっしゃいませんか?
0910login:Penguin
垢版 |
2018/09/25(火) 20:25:09.44ID:UFvyJpJ1
manjaroは他のスレでも話題みたいだし気にしなくていいぞ
0912login:Penguin
垢版 |
2018/09/26(水) 10:32:58.43ID:9NCT2ryI
>>909
UT2辞書って確か辞書ファイルに単語を追加しているだけのはずだから、
そのUbuntu用のヤツからDebianのMozcへコピーしてビルドし直せばOKじゃないかな。
手順としては、

1.
https://osdn.net/users/sicklylife/pf/mozc_ut_for_ubuntu/files/?id=11381
からファイルをダウンロードして、
src/data/dictionary_oss/dictionary*.txt
をコピー

2.
使用しているDebianがstretchなら、
https://packages.debian.org/ja/source/stretch/mozc
からorig.tar.xzとdebian.tar.xzをダウンロードして展開、
dictionary*.txtを上書きしてビルド。

3.
生成されたdebファイルをインストールしてDebianを再起動。
再起動後、いんたーねっとと入力して変換候補にInternetがあるか確認。
0913login:Penguin
垢版 |
2018/09/26(水) 15:45:27.52ID:6vXt6Ftx
ここんところhttp://security.debian.org/との接続状況がかんばしくない。
反応が悪い。異様に重かったり止まったりする。
攻撃でも受けているんだろうか。
0914login:Penguin
垢版 |
2018/09/26(水) 16:07:04.45ID:XuHcBjul
公式は普通だったり激重だったりの繰り返しだよ
だからみんな高速なミラー使ってんのよ
0915login:Penguin
垢版 |
2018/09/26(水) 16:26:51.75ID:C0RpZepP
securityは知らんけどmainとかは都合のいい場所にリダイレクトされてるんじゃないの?
ubuntuもそうだけどデフォのリポのままでパケットみたら地方の大学から分散して取ってきてたが
0916login:Penguin
垢版 |
2018/09/26(水) 19:02:12.41ID:3iNue67I
>>912
無理、Ubuntuと同じビルド用のパッケージを突っ込んでも
途中でエラーを吐いてコンパイルが中断される
0917login:Penguin
垢版 |
2018/09/26(水) 19:06:14.02ID:dlwRgn02
>>916
どんなエラーメッセージが出てるのよ?
辞書ファイル入れ替え無しの素のMozcはビルドできてる?
0918login:Penguin
垢版 |
2018/09/26(水) 19:42:33.99ID:XbH2XHi4
来月NTTの工事があって、その後フレッツの外のネットとIPv6で接続できるようになるんだけど、お勧めのファイアウォール教えて下さいませm(_ _)m
大昔はIP Masqueradeでポートブロックして、今は安物ルータ挟んでるけど、このルータがv6パススルーしか出来ない代物なんで、知識が15年以上前で停まってる。
0919login:Penguin
垢版 |
2018/09/26(水) 19:49:34.22ID:4oPHY294
>>918
RaspberryPiで自分で作れ
仕組みもわかって動きも早い
0921login:Penguin
垢版 |
2018/09/26(水) 21:48:23.87ID:gTL0FA4B
>>920
python絡みでエラーが出てる様子なんですよね
もう少し試行錯誤してみます
0922login:Penguin
垢版 |
2018/09/26(水) 22:32:39.12ID:gCogfO2X
>>909
$ sudo apt build-dep mozc で
依存パッケージをインストールすれば>>912の方法でコンパイルに成功するよ
というかUbuntuの人は依存パッケージを手打ちしているけど
build-depコマンドを知らないのだろうか
0924login:Penguin
垢版 |
2018/09/27(木) 07:29:41.76ID:I0+XZC8o
>>918
ルーターを自作するならds-lite Linuxとかでぐぐればよいよ、なおds-lite以外をLinuxで実践したとう情報は見つけれなかった。なので俺はds-liteのプロバイダーと契約した
0925login:Penguin
垢版 |
2018/09/27(木) 09:37:44.06ID:R4pto2q6
昔はまずダイアルアップルータを作ることがLinux導入の第一歩だったな
クッソ懐かしい
0926login:Penguin
垢版 |
2018/09/27(木) 16:47:55.06ID:Ghhaz04N
sources.listなんてデフォで良し。速さより確実性でしょ。
securityってsidじゃないけどstableで使うんだっけか?もう忘れてるな
0927login:Penguin
垢版 |
2018/09/27(木) 16:53:48.50ID:rL9h8Jux
?
普通に理研なり好きなように変更する
自動で近い所使ってくれる設定もある
速度全然違うからな
0928login:Penguin
垢版 |
2018/09/27(木) 19:32:51.68ID:Ghhaz04N
大学サーバーやauとかもそうだったけどメンテのときには遅くなるよね
0929login:Penguin
垢版 |
2018/09/27(木) 20:09:17.15ID:zNlt0XEV
Debianデフォの糞鯖より素晴らしく早い
それだけわかればいいんじゃね

いつ起きるか、ほんとに起きるかわからない事情引き合いに出す理由さっぱり分からん
0930login:Penguin
垢版 |
2018/09/27(木) 21:44:26.03ID:MI3KXqqX
詳しく知らないけど複数のサーバーから
分割で引っ張ってくる機能とかないのかな?
0931login:Penguin
垢版 |
2018/09/27(木) 23:13:54.15ID:4NDO2KCh
apt-fastなら聞いたことがある
使ったことはないが
0932login:Penguin
垢版 |
2018/09/28(金) 02:54:00.17ID:oXn1hIwG
>>919
いや、パソコンでIPoEしてファイアウォールと言うかパケットフィルターかけようと言う話で…
ただ、フレッツの外側と自前で繋ぐあたりの手続きがややこしい感じがあるんで、諦めてレンタルルータ使うかも知れませんが。
0933login:Penguin
垢版 |
2018/09/28(金) 07:28:19.73ID:A+9zoQ3p
ipv4トンネルしないなら、ip6tablesで検索して他のひとがやってるの丸ぱくりでいいんじゃない
0934login:Penguin
垢版 |
2018/09/28(金) 15:41:06.17ID:inDA4N2S
>>933
ありがとうございます。
やっぱりそれでいいんですかねー(´・ω・`)
0935login:Penguin
垢版 |
2018/09/28(金) 19:03:15.96ID:A+9zoQ3p
map-eやds-liteは使わない予定なの?
0936login:Penguin
垢版 |
2018/09/29(土) 13:34:36.69ID:452RUX0M
色々調べたら、料金的にIPoE別っぽいので、pppoeでやるかも。
>>935
プロバイダーの対応調べて見て決めます。
最終的には、v6でスループット出るようなら…。という事で。
0937login:Penguin
垢版 |
2018/09/29(土) 13:45:00.78ID:97/byj1L
UbuntuがPython3に(少なくとも既定で)全面的に切り替わったという話を聞いて,
Debian GNU/Linuxではどうなんだろうと思って検索したら
https://www.debian.org/doc/packaging-manuals/python-policy/ch-python3.html
ちょうどこんなページが見付かったんだけど,肝心の日付がどこにもない……。
ブラウザが取得したページ情報によると2017あたりらしいけど,この辺りの事情
(DebianにおけるPython2から3への移行について)
詳しい人いません?
0938login:Penguin
垢版 |
2018/09/29(土) 14:37:20.78ID:eLl2nHDa
それにしても、ひさしぶりだなーpythonの話題なんて
0940login:Penguin
垢版 |
2018/09/29(土) 17:54:21.08ID:1Dc6qtGM
サーバー用途でなければtestingでもセキュリティは大丈夫だよね??
0941login:Penguin
垢版 |
2018/09/29(土) 18:09:57.43ID:VTVSEFSB
中途半端にビビらずsidにした方がいいぞ
思ったよりも安定していて意外とどうにでもなる。
レス数が900を超えています。1000を超えると表示できなくなるよ。

ニューススポーツなんでも実況