pythonでテキストデータの行数を取得したいです
1行読み込む毎にint型変数をインクリメントする以外に良い方法はありますか？