I tried making them with less oil, or with a different type of oil, and the result was mushy beans. But one commenter on my first post (who has a blog dedicated to pressure cooking) said to try pressure-cooking them only four minutes. I may do that next summer, but this year's pole beans are about done.
Turkish Green Beans in the Pressure Cooker
2 pounds green beans, trimmed and bisected lengthwise (I didn't read this carefully and have always cut mine crosswise into 2-3" lengths.)
1 medium white (I used yellow) onion, chopped
3 garlic cloves, slivered
5-6 Roma tomatoes, peeled and chopped (or 1 16-oz can diced tomatoes)
2 tablespoons tomato paste
1 heaping teaspoon Turkish hot pepper paste (or 1 tablespoon Louisiana hot sauce)
1 to 1 1/2 cups water, divided
1 teaspoon salt
1 teaspoon sugar
1/2 cup olive oil
Place the beans, onion, garlic and tomato in pressure cooker. Dilute the tomato and pepper pastes in 1/2 cup water and pour that over the beans. Add the remaining water, salt, sugar and oil. Cover and cook; once the pot is at full pressure, cook for 18 minutes.
Quick-release the pressure under cold running water or with the quick-release mechanism. Serve chilled (or warm, or room temperature).